pub fn verify_module_with_config(
    config: &VerifierConfig,
    module: &CompiledModule
) -> VMResult<()>