A generic implementation of a Merkle DAG

This is an exploration of the paper merkle-crdts as well, if I'm honest, as an excuse to use proptests.

The proptest assertions are hidden behind the proptest feature since they can take longer to run than the standard tests. To run them: cargo test --features proptest