Removing and consolidating options for uf-ss and quantifiers.  Bug fix for inst gen-style MBQI.