More optimizations of quantifier instantiation data structures.