Improve bytecode printer

This is a bunch of minor improvements to the bytecode pretty printer.