cvc4terminate infinite loop fix
Resource spending support in theories (and especially in quantifiers).
Do not throw error when codatatype is not well-founded.  Add option for disabling codatatype reasoning.  Minor cleanup.
Support :no-pattern.
Partial support for codatatype models.
Refactor option for uf+cardinality constraints solver.
Fix infinite loop in datatypes enumerator.  Minor work on conjecture generator.
Fair datatype enumeration.