Add fair strategy for finite model finding multiple sorts --uf-ss-fair.
Bug fix for previous commit
Changing the number of bits allocated per field in node values.
Merge branch 'master' into ite_removal_optimizations
Adding the changes needed to delete rewriter attributes.  This includes being able to list attributes.  Additionally, added debugging hooks to node manager and attribute manager.
Merging trunk into the branch.
Fixing an infinite loop in ite rewriting.
Breaking ite compress and simplification apart.
Fixing a bug in selecting intersection.
Adding rudimentary make associative.
Fixing a bug in ite_compression due to an interactions with invariants related to d_realAssertionsEnd.
Limiting application of simpIte() to only the first round of simplify assertions.