feat: add SMT-LIB overflow definitions for bitvectors (`not_overflow`,`uadd_overflow`,`sadd_overflow`,`umul_overflow`,`smul_overflow`) #2653