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.