Minor improvements to the stats output dump, including adding commas to

the big numbers.