- fix potential bug: make sure smart (shared) pointers are thread-safe in messages
- verify proposer id
- do not need to vote null
- Implement a basic long-standing leader PaceMaker (WIP)
- Add nounce field to blocks ?
- Or add proposer's ID + signature to blocks ?
- Persistent protocol state (for safety)