prove all remaining explicit cheats in hol_verificationScript.sml

Of course, I expect there should be a lot more cheats eventually.