pub fn verify_module( module: &CompiledModule, verifier_config: &VerifierConfig, ) -> Result<(), ExecutionError>