Only add the importNative primop if the allow-arbitrary-code-during-evaluation option is true (default false)