Rollup node: compute dissections with commitment period tick offset

What

This MR fixes an issue with the way the rollup node computes dissections in the refutation games.

Fixes https://gitlab.com/tezos/tezos/-/issues/7086.

Why

Tick in dissection are always relative to the commitment period. Refutation for conflicts happening in the commitment periods following the first one would not take into account the tick offset of the commitment period of the conflict to compute the intermediate states. This would result in incorrect intermediate states for the dissections and could potentially make an honest rollup node loose the game (with a timeout) due to it's incapacity to compute a correct dissection.

How

The commitment period tick offset is added as part of the game state for the refutation players and the intermediate states computations take it into account to compute the state for the correct tick.

Manually testing the MR

dune exec tezt/tests/main.exe -- -f sc_rollup.ml 'title =~ pvm_proof_second_period'