Two changes. First one is to make profiling work with scan (scan was looking
for a subclass of the ProfileStat object). Second, I made a more fixed
length printing of timings which I believe personally is much better.