Currently we check for 64-bit overflow when incrementing the MDO counters in the interpreter. Realistically this is never going to overflow so we can skip the check like C1 and the PPC port does. In any case when reading the counters we silently truncate from uintptr to uint so the existing code isn't working as intended (it should be a 32-bit saturating add).