pub fn sui_verify_module_metered( module: &CompiledModule, fn_info_map: &FnInfoMap, meter: &mut (impl Meter + ?Sized), ) -> Result<(), ExecutionError>
Helper for a “canonical” verification of a module.