* All jumps must land on a JUMPDEST instruction byte.
* The byte may not be part of a PUSH*