Improve method for running plugins.

Instead of trying to manually filter out known constraints,
we leave it to GHC to do its usual thing.   To avoid looping,
we need to know if running the solver pipeline modified the inert set:
if the inert set was changed, then we re-run the plugins, otherwise
we are done so we stop.