feat: add SMT-LIB overflow on addition for bitvectors BitVec.(uadd_overflow, sadd_overflow, uadd_overflow_eq, sadd_overflow_eq) and support theorems
#7884
| Job | Run time |
|---|---|
| 6s | |
| 6s |