Add new symmetry breaking technique for finite model finding.  Improvements to bounded integer quantifier instantiation.
Some fixes to recent strings commits.