Add a merkle proof checker
This is work towards #19 (closed) but not sufficient to resolve that issue.
It adds a function which can check merkle proofs. This is one piece that's needed to verify the share root tree, since our confidence in it comes from a merkle proof.