smt: fix handling of div primitive in formal backend (#2409)

We never tested the case where the width of the
numerator was less than the denominator.
This should fix any issue with this combination.