added random test for shift right (all fine)