Build constructs a Merkle tree given an array.

Verify ensures that the positions in elems correspond to the respective hashes in a tree with the given root hash.

Tree is a Merkle tree, represented by layers of nodes (hashes) in the tree at each height.

An Array represents a dense array of leaf elements that are combined into a Merkle tree.