Removed division by constant handling for CBQI BV (unsound). (#1508)

Removed division by constant handling for CBQI BV (unsound). (#1508)

This removes division by constant handling in the BV inverter introduced in #1498.
Division by constant was simplified to:
x / s OP t ---> x = t / s^-1 if s odd and there exists a multiplicative modular inverse s^-1.
This however, is incorrect since
x / s * 1 / s^-1 != x / (s * s^-1)