Conduct think-aloud usability study with first time reader of Quint spec

[shonfeder]

@josef-widder noted that @lasarojc is wrapping up the draft of a spec that uses quint in place of pseudocode for the gossip layer of tendermint. This spec will need review, and @konnov wisely suggested we use the opportunity to do a think-allowed study with the first reviewers of the spec.

• [x] @shonfeder to coordinate with @thanethomson to identify the eventual reviewers
• [x] Review spec in advance: https://github.com/cometbft/cometbft/pull/74
• [ ] @shonfeder to schedule time for think-allowed review
• [ ] quint devs to conduct study and record findings

[shonfeder]

Thane pointed us to @jmalicevic, @sergio-mena, and @hvanz as the likely reviewers for Lasaro's spec.

[shonfeder]

I think we're past the point for this now, and have good feedback streams.