Improved rendering of some opcode arguments and auxdata.