Delay QuantifiersEngine and UF strong solver initialization until after final options/logic are set.