SCORU/Node,Tests: test refutation over protocol migration

Context

Fixes #5872 (closed), #5262 (closed).
Depends on !9886 (merged).

Manually testing the MR

dune exec tezt/tests/main.exe -- --file sc_rollup.ml migration refutation l2