added support for cas
added the cb-jepsen test
added the ability to do a naive read/write update of the set