Fix infinite loop in --bitblast-aig/--bv-aig-simp options.