remove cheats in compilerProofsScript.sml