AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker (Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data)