SCORU: carbonate Sc_rollup_publish

See the parent issue: #3290 (closed).

This issue is dedicated to checking the correct carbonation of Sc_rollup_publish, and fix it otherwise.

Following the conclusions of the analysis, this issue will be solved as follows:

• use Token.get_balance_carbonated in Token.balance;
• carbonate Token.transfer by:
  • adding maps with carbonated and uncarbonated functions, because it greatly eases switching a map from uncarbonated to carbonated accesses. This is done in !6453 (closed);
  • use carbonated functions in a few places;
• add a comment for go, stating that we need to make sure some gas is spent inside the function, as a safety-net for unexpected infinite recursion.