pub fn evm_verify( deployment_code: &[u8], proof: &RawEvmProof, ) -> Result<u64, String>
Verify an EVM proof using a deployed verifier contract.
Returns the gas used on success, or an error message on failure.