Add test cases for BVSHL, BVLSHR and BVASHR.