Bug fixes for bounded integer quantification.  Current best strategy is to turn off MBQI.  Disable relevant triggers by default.