Remove proof specs from ClientState interface

[colin-axner]

Summary

Proof specs are only used by core IBC in 03-connection to verify the counterparty light client representation of self. This function should be removed from the interface since we can access the proof spec by casting to the tendermint type directly.

cc @AdityaSripal

---

For Admin Use

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