ABCI 2.0: Spec work

[sergio-mena]

Tasks:

• Finish RFC 017 open PR #444
• Turn RFC100 into part of the spec #483
• Uncomment all parts related to vote extensions, and FinalizeBlock from the spec. #403
• Compare v0.36.x ABCI spec with the one in main #2760
• Follow Restore Commit to the ABCI++ spec, and other late modifications tendermint/tendermint#8796 and make sure the changes are present in the spec
  • Move data from Commit to FinalizeBlock (as AppHash)
  • Rename Misbehaviour to ByzantineValidators (done already?)
• spec: Clearly document when an app is expected to persist state #203
• spec: Rename ABCI++ references to the appropriate ABCI version (1.0 or 2.0) #2698
• spec: Clearly document the ordering within VoteInfo and ExtendedVoteInfo #779
• spec: hyperlink the ABCI Params entry and clean-up  #2679
• Final read of spec for overall coherence

Issues identified:

• spec: ABCI spec refers to both Evidence and Misbehavior types #1326

DoD:

• Out of all solutions proposed in RFC017, the one implemented (sub-optimal storage) is now part of the spec
• Spec is updated to ABCI 2.0 (very similar to the one in v0.36.x)
• Spec is complete and proof-read
• Spec methods and data structures match the corresponding protobufs

Original issue: tendermint/tendermint#9917

[sergio-mena]

Moved to Q3 as there are some final tasks we didn't manage to do in Q2 (they are all non-blocking for the v0.38.0 release)

[sergio-mena]

Thanks @andynog for driving this to completion