feat: add SMT-LIB overflow on addition for bitvectors `BitVec.(uadd_overflow, sadd_overflow, uadd_overflow_eq, sadd_overflow_eq)` and support theorems #7989

Annotations

1 warning