remove Shift from bytecode semantics

compiler and later proofs not updated