Use NoThunks library to verify that we don't have any unevaluated
expressions in PeerMetric.

This patch also makes PeerMetric more strict to satisfy the test.
Apparently there was a small memory leak which goes away at every churn
interval when we actually use peer metric in order to demote the 20% of
worse performing peers.

Also removed `asserts` flag from `network-mux.cabal`; and updated
`cabal.project.local` files used in GHA.

The `continueWithState` and `continuewWithStateM` functions need
`NOINLINE` pragma to make sure the `st` argument is evaluated to WHNF.