remove Shift from test_compilerLib.sml
correctness theorem for stackshiftaux