Tez.of_Z should fail on numbers greater than 2^64
Tez.of_Z ignores extra bits of numbers greater than 2^64 as it uses Int64.of_Z and detect overflows only if the sign bit is set.
This is obviously incorrect and makes the compiler silently produce an valid michelson constant from an invalid litteral.