code to replace the Shift instruction

new code passes compiler tests (had to increase the stack limit on one
test by one, though). proofs not updated yet.