brought back pretty printing for new opcodes