delete some commented out code

Mostly to get rid of the word "cheat" from compileCorrectnessScript.sml.
(There are still cheats in expToCexp since I haven't upgraded to the
semantics that does the closure check on equality, and in replScript
since there's basically nothing working in there...)