Improve test/cases/uadd_overflow_64_ta2.ll to check that the tricky addition case 0xFFFFFFFFFFFFFFFF + 0x0000000100000001 is handled correctly.