prove bytecode eval cheats in initialProgramScript.sml
tweaks to get the rest of initialProgramTheory to build