Fix for (get-assignment); better heuristics default settings infrastructure; new --force-logic option that overrides what the input says.
New --tear-down-incremental mode, useful for debugging and performance profiling.
Better approach to forcing string logics to contain UFLIA also.