#19 widen numerical fields in text output

[mhfugue]

Touch the printf calls a bit so that when method counts get to be over 6 digits the text output doesn't get wonky. Ditto for the other fields -- including percent, which can and will go well above 100 for multithreaded programs on a multicore processor.