Fix bug 554 (nominally).
Fix run_regression on Mac.
Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodies; fix bug 551, improper ITE removal under quantifiers.