Is `Read_Opcode()` actually used?  Maybe it should be.  Actually, I think we should check in jit for branches to invalid memory addresses and fail (currently it segfaults.)

I'm pretty sure you've reversed the check here, though (you're asserting that the address is always 0, which the old check seems to panic when it is 0.)

-[Unknown]