Add new symmetry breaking technique for finite model finding.  Improvements to bounded integer quantifier instantiation.