Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodies (resolves bug 551).
Recent bug testcases.