Implement misbehaviour verification part of verify_client_message method

[Farhad-Shabani]

Context

Comes after #212.
Similar to the what's expected in #213, the misbehaviour verifier should be integrated into the Comet contract as part of the verify_client_message method.
This implementation should also include other required stateless and stateful checks. Basically similar to how verify_misbehaviour is implemented in ibc-rs.