The idea is the same as in https://github.com/IntersectMBO/cardano-ledger/issues/4725, but we run the `TICK` rule when `passTick` is used.