pub fn verify_module(module: &CompiledModule) -> VMResult<()>