Add some tests for shift operator overflow results