[Git][ghc/ghc][wip/andreask/bump_shake] 37 commits: Check that shift values are valid