discard appears to be implemented with the branching unit (as in Utgard-PP, it appears?). These changes decode this operation, as well as make changes to the surrounding code to enable a complete disassembly of a program using
Outstanding question: is
discard really encoded like a conditional branch? The offset seems constant
+2 and I haven't been able to change the condition to anything but
true. Further poking is needed.