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