SCORU/Node: protocol agnostic refutation logic

Context

This MR moves the refutaion logic out of the protocol specific directories. Only some helpers remain in the protocol plugin in order to e.g. compute dissections or proofs.

Manually testing the MR

dune exec tezt/tests/main.exe -- -f sc_rollup.ml refutation