fix: resolve UB in _add, __sub, _mul for u8, u16, u32

[K1-R1]

Description

handle u32 and u16 subtract underflow manually.
Mirror u8 impl's use of u64 conversion for u16 and u32.
Add additional u8 test.
Closes #6653.
Closes #6666.

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
  • If my change requires substantial documentation changes, I have requested support from the DevRel team
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.