Verify a Groth16 proof using the compile-time embedded verification key.
No persistent storage is read or written; the key is part of the contract WASM itself.
fn verify(
env: soroban_sdk::Env,
proof: Groth16Proof,
public_inputs: soroban_sdk::Vec,
) -> Result