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