Add custom parser for SMT bitvector width

[TaoBi22]

As discussed with @maerhart in #8042, we probably want a custom parser for the width of SMT bitvectors as the fix there might cause some issues in corner cases with building bitvector operations.