comment out a cheat in x64CorrectScript.sml

it is not necessary for the exported theorems