Merkle trees should constrain themselves to a fixed size

[ghost]

Right now the merkle tree implementation generates massive trees: one node for each element in the collection. We should retain only the top N nodes in the tree. Later, we should have AAE go back and forth exchanging finer deltas to improve efficiency.