hot fix for pre-reg term caching in strings
hot fix for pre-reg term caching in strings
Merge branch 'master' of github.com:tiliang/CVC4
Fix a memory leak in LFSC proof checker.  Largest QF_UF proof from Morgan (problematic-lfsc-pf) now successfully checks in 58 seconds using ~8 GB memory.  Add example test proof.
New --tear-down-incremental mode, useful for debugging and performance profiling.
Better approach to forcing string logics to contain UFLIA also.