Add register names, not just numbers, to the output.
Clean up and further document the register allocator.
Document the paper that the register allocator is based on.