private SequencedMap<PcodeOp, JitBlock> getBlocks() {
			return blocks;
		}
I'm making it the decoder's responsibility to provide a sane program. We can
catch missing control flow at the very end, but we cannot do so at the end of
other blocks. If they have fall-through, they'll (perhaps erroneously) fall
through to the next block that happens to be there. Thus, it is up to the
decoder, if it decodes any incomplete strides, that is must synthesize the
appropriate control-flow ops.
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitControlFlowModel.java