Ensure no cost for datatypes debugging when not tracing it.
Fix portfolio on bug411.smt2.  (get-model command should only go to last winner)
Fix some line-numbering in auto-generated metakind.h.  Thanks to Martin Brain for reporting this.
Support empty (and 1-ary) tuples and records.
Support per-command verbosity settings.
Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
fix for lambdas in relation to subtypes
fixup for miplib trick (related to lambda fix for subtypes)
subrange-related fix
new --tear-down-incremental mode
new --force-logic option that overrides what the input says
more ITE rewrites
some of the minisat markers/assumption framework
Revert "subrange-related fix"

This reverts commit 771943753d540defa4e708667f70fee131462367.
support for check-sat with argument