find structural returns of >64 bits
fix overflow detection in i64 uadd, and add testcase