fixed hw-transactions bugs 6 and 7; other minor cleanups
Now hw transactions correctly mix with sw ones. Bingo!
More tuning.
Added TODO about optimizing global-clock GV6: its stats are horribly slow