Member predicate ConversionWithoutBoundsCheckConfig::isSinkWithBitSize

Holds if sink is a typecast to an integer type with size bitSize (where 0 represents architecture-dependent) and the expression being typecast is not also in a right-shift expression. We allow this case because it is a common pattern to serialise byte(v), byte(v >> 8), and so on.