Improved docs, modified RWORSet API, and added CRDT protocol API to RWORset