Currently is unclear about validation rule when memory64 is enabled.
My understand is for memory64, the validation should looks like
with the following two bullet points:
The limits must be valid within the range 2**64 - 1.
The limits must be valid within the range 2**64 / pagesize
