pub fn verify_module( module: &CompiledModule, fn_info_map: &FnInfoMap, ) -> Result<(), ExecutionError>