Bounds inference does not catch overflow for UInt64

[rootjalex]

Overflow has defined behavior for UInt64, specifically that it wraps. Bounds inference currently only catches overflow for unsigned integers with <= 32 bits and signed integers <= 16 bits. We currently use upcasting and can-prove (seen in #5618), but can't upcast for UInt64 yet. If we add such functionality, or find some other way to prove no overflow, this should be added to bounds inference.

Note that this is not specifically referencing catching overflow using UIntImms, but general UInt64 types.