Member predicate MaxValueState::getSinkBitSize

Gets the bitsize we should use for a sink of type uint.

If the architecture bit size is known, then we should use that. Otherwise, we should use 32 bits, because that will find results that only exist on 32-bit architectures.