Implement ICS-23 (non)membership proof verification as standalone Cairo library

[Farhad-Shabani]

The first part of #164

Context

Implement the (non)membership proof verification as a general-purpose Cairo library. While it may not be as comprehensive as cosmos/ics23 (as that's not needed) the implementation would follow the same logic used there. Additionally, we can use the values from their snapshot tests as a reliable and battle-tested reference.