Use optimized overflow operation everywhere#2405

celinval merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2383-perfcelinval/kani-dev:issue-2383-perfCopy head branch name to clipboard