Thank you for your thorough review! I'll merge this and push follow-up commits later. We think documentation part is not a ship-blocker, so I focus on addressing code comments so that we can announce official release while I'm working on documentation.

1. Improvement: Lack of documentation of how it works

Will add it later (probably as a separate markdown file). #3

3. Confusing: Terminology like “version” which I presume is height

It's actually called "version" in some packages of pocket-core such as iavl or rootmulti.

4. Important Question: We moved away from amino in 2022, so how are we still using it everywhere?

Amino is still used in the iavl store. See node.go.

5. Documentation: Can you add some documentation in verifier.go on details on how it works?

This is a feature for dev purpose. I'll add a new section to README.md. #2

6. Please pay attention to the DISCUSS_IN_THIS_PR comments in particular

Thank you for clarifying these in the code. I'll merge this PR and take care of them.