Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
Merge branch '1.4.x'