Registers consolidation, fixes #1183

This patch series moves most of the bare register references scattered throughout the code into the Registers class.  The lone remaining exceptions are the bits for `rdtsc`, which don't fit neatly into the syscall scheme (but could perhaps be fudged by an `abi_return_register` or somesuch), and the giant header-like string for traces in main.cc.