TendermintClient::verify_upgrade_and_update_state is not implemented

[romac]

Related to: #722

Summary

The TendermintClient::verify_upgrade_and_update_state is currently not implemented, even though it is called in the UpgradeClient handler.

ibc-rs/modules/src/clients/ics07_tendermint/client_def.rs

Lines 395 to 403 in efbf7d1

	fn verify_upgrade_and_update_state(
	&self,
	_client_state: &Self::ClientState,
	_consensus_state: &Self::ConsensusState,
	_proof_upgrade_client: RawMerkleProof,
	_proof_upgrade_consensus_state: RawMerkleProof,
	) -> Result<(Self::ClientState, Self::ConsensusState), Ics02Error> {
	todo!()
	}

ibc-rs/modules/src/core/ics02_client/handler/upgrade_client.rs

Lines 52 to 57 in efbf7d1

	let (new_client_state, new_consensus_state) = client_def.verify_upgrade_and_update_state(
	&upgrade_client_state,
	&msg.consensus_state,
	msg.proof_upgrade_client.clone(),
	msg.proof_upgrade_consensus_state,
	)?;

Problem Definition

The UpgradeClient is therefore non-functional at the moment, as it will panic once the method is called.

Proposal

Implement the verify_upgrade_and_update_state method for TendermintClient.

Acceptance Criteria

The verify_upgrade_and_update_state is implemented in TendermintClient, and its behavior is captured in a test for the UpgradeClient handler.

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate milestone (priority) applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned

[plafer]

Until we know how to implement this properly, we should return an Error instead of crashing (either at the tendermint light client level, or even at the core handler level).

Related: #141