Remove legacy Verify functions from 06-solomachine

[colin-axner]

Summary

Sub-issue of #1145

Pre-requirements:

• Add VerifyMembership/VerifyNonMembership to 07-tendermint #1291
• Add VerifyMembership/VerifyNonMembership to 06-solomachine #1292
• Replace usage of Verify functions in 03-connection #1293

Remove all the following functions from 07-tendermint:

• VerifyClientState
• VerifyClientConsensusState
• VerifyConnectionState
• VerifyChannelState
• VerifyPacketCommitment
• VerifyPacketAcknowledgement
• VerifyPacketReceiptAbsence
• VerifyNextSequenceRecv

NOTE: all existing tests must be transferred to the generic VerifyMembership and VerifyNonMembership functions (if they haven't already)

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged/assigned

[crodriguezvega]

Closed by #1687

[gjermundgaraba]

This issue was mistakenly reopened during some integration work, so closing again now.