Model no longer adds subterms of quantifiers to equality engine, this fixed bug 492 and resolves previous issue for bug 486.
(cherry picked from *part* of commit e54c0f73712b25f1d6d49a3817c923eea077da81)

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
driver::totalTime statistic is now reported correctly on crashes, too
Fix NodeBuilder bug which could attempt to allocate beyond hard limit
decision/ : save d_prvsIndex in JH