pub fn verify_script(module: &CompiledScript) -> VMResult<()>