- 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)