Simplify the QCF algorithm by more aggressive flattening, removes EqRegistry approach.  Minor change to quantifier macros.  Add option --quant-cf-mode.
optimize for the reverse direction
rev const split
rev diseq
Merge branch 'master' of github.com:tiliang/CVC4