5000x faster CRDTs: An adventure in optimization Original article is at 5000x faster CRDTs: An adventure in optimization