Added some testing functions to checksum
Added exec_while, exec_do*while, and common "empty" instructions
Merge branch 'new-char-stack' into prog-synth-benchmarks
Commented out testing code