Protocol/SCORU: Add the number of messages in the commited tree

This will ease the work for integrating EOL (see !6239 (closed)). So that a proof for EOL is more compact and does not require to do two accesses.