SIP 2 - Message structure and encoding

[alonmuroch]

This is a discussion for SIP 2

Open issues:

• Model voluntary exit
• QBFT commit msgs without content. A node can receive a quorum of commit msgs and decided on the root alone without the content. Should we use the full content?

[alonmuroch]

@olegshmuelov