Grant Application: Tensor-Core Accelerated Proving for Orchard/Ironwood

Based on We just achieved a double speedup over the SoTA (pasta_curves) for batched same-base MSM for Halo2 on Apple Silicon! , we are formally deciding to either amend this grant, or submit a new grant.

We are going with the former.