pub fn verify_script_with_config(
    config: &VerifierConfig,
    script: &CompiledScript
) -> VMResult<()>