Restore use of dependency superset checking to preserve sequents found
under different sets of dependencies.
Fix neqs' --- wasn't doing anything before compared to single neqs
discoverer --- and use maxima rather than unique. For dependency
tracking where we are concerned with ordering sequents rather than just
checking equality of conclusions, we need to use maxima.