solving rigidly constrained metas means improveInert is not needed!

The whole point of inert improvement was to reveal the IO in
constraints like _M Nat = IO Nat, but if we allow instance search
to instantiate _M when trying the Monad IO instance it's ok if it's
not solved.