[Git][ghc/ghc][wip/sjakobi/T13960] 37 commits: Check that shift values are valid