These tests are verifying undefined behaviour such as shifting by more than 63 bits and by negative numbers.