[ARM64] Fix lifting of tbz / tbnz for bits >= 32

[bdash]

Fixes #7205.

Since the integer literal 1 fits in an int, that is its type. Shifting it by values larger than 31 give unexpected behavior in this context. I'm not entirely sure how we get 0xffffffff80000000 as the result. That doesn't match my reading of https://en.cppreference.com/w/cpp/language/operator_arithmetic.html#Built-in_bitwise_shift_operators. Prior to C++20 this was undefined behavior territory, but with C++20 it should be well defined.

The fix is to ensure that the value we are shifting is a uint64_t.

[plafosse]

I looked at this this morning and identified this as the problem too. 👍