[Truffle] Fix a couple specializations which cannot overflow.

* Also rename specializations which deal with the overflow just [op]negWithOverflow
  so we have a compile-time check for this potential issue.