tweaked to remove last barriers to generating llvm-executable code
disabled debugging code
fixed bug that disabled the --num-steps option
began adding a printf(~) call to the generated program to help detect poison
fixed syntax
added declaration for printf(~) to the generated code, fixeded the string length specification