Added a Merkle Tree constructor, a proof list generator, and a proof checker