Extend the set of jump target labels to account for the passthrough targets of conditional branches.
This allows us to create a control flow graph where there is at most one branch per basic block.
Return a generator of byte-offset, opcode, and argument from a byte-code-string