Rewrite sawcore definition of `bvAddWithCarry` to avoid using `let`.
Rewrite sawcore definition of `bvAddWithCarry` to avoid using `let`.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script