pub fn verify_module( module: &CompiledModule, meter: &mut (impl Meter + ?Sized), ) -> Result<(), ExecutionError>