fix bytecode proofs for removed JumpPtr