Removing and consolidating options for uf-ss and quantifiers.  Bug fix for inst gen-style MBQI.
proof cleanup
more proof cleanup
some work on proof-production
integration
more integration work
break stats reg