Fixed satisfiability checker bug where it would run out of stack space
on succ-rec*.defs benchmarks.  Tweaked garbage collection settings.