Support right-rotations by an amount >=32
Utility for hex printing of 64-bit words
Fix mis-translated load/store pair
Remove old debug output lines