docs: update consensus readme

[bryanchriswhite]

Changes

• §3.1.1: embolden first occurance of the term QuorumCerfiticate and add abbreviated form (QC) in parenthesis to mitigate confusion around derivative terms (e.g. highQC)
• §3.1.3: fix typo, the
• §3.1.4: remove or, assuming it's a typo
• §3.1.9: replace space with . for consistent usage of QuorumCertificate.Round/Step
• §4.1: fix typo, unbond instead of unbound
• §4.4: add the duration to the phrase ...is vulnerable to Leader DDOS for the duration between...
• §6: close open quote around non-deterministic

[bryanchriswhite]

1. I was also wondering if, in the HotPocket Leader Selection pseudo-code, SelectLeader should receive height, round, and lastNLeaders like IsLeaderCandidate does?

2. I didn't see any source for those images, is there a source of truth for the images in this repo?

[Olshansk]

1. I was also wondering if, in the HotPocket Leader Selection pseudo-code, SelectLeader should receive height, round, and lastNLeaders like IsLeaderCandidate does?

Yea, ideally it should to make things clearer. Feel free to update it in a followup PR after we merge this and #28 in.

2. I didn't see any source for those images, is there a source of truth for the images in this repo?

Appreciate the request. Adding these in, as well as updating the algorithm, has been on my backlog for a while and this was a good catalyst/reminder to do so. Please see #28

---

@bryanchriswhite What we do on the team is "squash and merge" PRs where the body of the commit message is a copy-paste of the github PR.

Also, make sure to attach the iteration to the PR being merged so we can look back and see on everything we finished when reviewing the iteration!