Reduced the debug printing noise...
Added an option to generate profilable code (a commented goal in the Makefile).