Use hackage resource-registry

[jasagredo]

Extract the resource-registry from the codebase. As it is independent from strict-checked-vars some instances are needed for this to work properly, in particular:

-- TVar
instance NoThunks (Control.Concurrent.Class.MonadSTM.Strict.StrictTVar m a)
instance NoThunks (Control.Concurrent.Class.MonadSTM.Strict.StrictTVar m a)
      => NoThunks (Ouroboros.Consensus.Util.NormalForm.StrictTVar.StrictTVar m a)

-- MVar
instance NoThunks (Control.Concurrent.Class.MonadMVar.Strict.StrictMVar m a)
instance NoThunks (Control.Concurrent.Class.MonadMVar.Strict.StrictMVar m a)
      => NoThunks (Ouroboros.Consensus.Util.NormalForm.StrictMVar.StrictMVar m a)

Then as we sometimes use checked or unchecked vars, both constraints (which will be logically implied but on QuantifiedConstraints GHC can't know that) are required in IOLike.