comment out/remove the good_v stuff from compilerProofScript.sml