Verify Rollups related files
Verify Rollup related files, in particular [Sc_rollup_inbox_message_repr.v] (wip) and [Sc_rollup_inbox_message_repr.v] (wip).
Edited by pierrevial
Verify Rollup related files, in particular [Sc_rollup_inbox_message_repr.v] (wip) and [Sc_rollup_inbox_message_repr.v] (wip).