[ICS02] Replace specific verify_functions with generic verify_membership and verify_non_membership

[Farhad-Shabani]

Summary

In continuation of #404, part of #173, aiming toward cosmos/ibc#684 implementation in IBC-rs
Replace specific verify_functions of ClientState trait with generic verify_membership and verify_non_membership methods

Proposal

By separating the verify_conn_delay_passed process from the proof verification steps and isolating the concern, it has become apparent that the proof verification method in ics02-clienstate is carrying out a very similar task. With some minor refactoring, we can make use of generic interfaces and impose fewer implementation requirements on the builders.