Implement proof verification functions for Tendermint client (informa…

…lsystems#1583)

* proof verification functions

* fix counterparty in ConnectionOpenAck

* verify delay

* verify height

* Revert "verify height"

This reverts commit 4735aa7.

* Impl verify_height()

* Revert changes to ics23 types

* Update mock impl to use new ClientDef API with height

* Clippy happy

* Modify ClientDef API

* Implement max_expected_time_per_block()

* Fix mock build

* Refactor verify_delay_passed()

* Move get_block_delay() into ChannelReader trait as provided method

* Remove usages of std::

* Fix clippy errors

* Add keeper methods for processed time and height

* Set processed time using host_timestamp()

* Add new ICS02 error variant InvalidCommitmentProof

* Augment packet delay errors

* Revert to old naming of errors for client upgrade proofs

* Rename processed_{time,height}()

* Apply suggestions from code review

Co-authored-by: Adi Seredinschi <[email protected]>

* Record height in processed height/time errors

* Fix clippy errors

* Add changelog entry

Co-authored-by: Shoaib Ahmed <[email protected]>
Co-authored-by: Adi Seredinschi <[email protected]>

.changelog/unreleased/features/ibc/1583-module-verification-ICS07.md

@@ -0,0 +1,3 @@
+- Implement proof verification for Tendermint client (ICS07).
+  ([#1583](https://github.com/informalsystems/ibc-rs/pull/1583))
+