Add extra explanation to the end of the protocol invariants section.
Update the last edits from piatek. Update diagrams.

Switched from dependency trees to lists. Add some minor edits.
Add a TODO.