Verify a Groth16 proof using the compile-time embedded verification key.
fn verify( env: soroban_sdk::Env, proof: Groth16Proof, public_inputs: soroban_sdk::Vec, ) -> Result