SCORU: carbonate Sc_rollup_inbox_repr.add_messages_no_history

Sc_rollup_inbox_repr.add_messages_no_history may not be correctly carbonated.

For instance, are the calls to set_level, hash_skip_list_cell or hash_level_tree accounted for or negligible? If yes, let's bring the justification here, otherwise let's carbonate.

This may be obsolete, see the parent issue #3292 (closed).