DAL: Provide the correct protocol migration parameter in refutation_game_helpers.ml

Sc_rollup.Proof.valid should take the level at which the current protocol was activated via ~protocol_activation_level parameter, but the value is currently not exported by the protocol. We need to add an RPC to expose it