Make --var-elim-quant true by default.  Add rewrite engine to quantifiers module.