Add VerifyMembership/VerifyNonMembership to 07-tendermint

[colin-axner]

Summary

sub issue of #1145

A test should be added for each to ensure it can verify a new path/value that isn't already well defined. Test cases should be added for each of the well defined paths

• VerifyMembership Add VerifyMembership to 07-tendermint #1297
• VerifyNonMembership

---

For Admin Use

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