Remove several long-commented debugging statements and change
a couple of '//' comments into '/* */' style in order to more
closely match a) the overall style of the file, and b) the Akaros
style guide.