trackProofDepth: Strict in ProofDepth (#2033)

It is necessary to be explicitly strict in the ProofDepth because the tuple
constructor (,) is lazy.

Co-authored-by: rv-jenkins <admin@runtimeverification.com>

Author: ttuegel

kore/src/Kore/Strategies/Verification.hs

@@ -409,7 +409,7 @@ trackProofDepth
     :: forall m rule goal
     .  TransitionRule m rule (ProofState goal)
     -> TransitionRule m rule (ProofDepth, ProofState goal)
-trackProofDepth rule prim (proofDepth, proofState) = do
+trackProofDepth rule prim (!proofDepth, proofState) = do
     proofState' <- rule prim proofState
     let proofDepth' = (if didRewrite proofState' then succ else id) proofDepth
     pure (proofDepth', proofState')