Alternative solution for Problem #4: Using CAS Operation

[burnerlee]

Just checking in, did you try solving the problem 4 using a single global key? (using cas).

Tried that and couldn't wrap my head around the issue. Eventually, I learned that CAS doesn't introduce linearisation to the state of the store. If you too missed on this, you can check out these threads, they have done a really good discussion about the problem.

https://community.fly.io/t/sequential-consistency-in-challenge-4-grow-only-counter/10965

jepsen-io/maelstrom#39

Finally, figured out a solution, though the random number write before the read seems a bit hacky. Let me know what you think.
https://github.com/burnerlee/gossip-gloomers/blob/0ef96ce056944b0e04f02c6abcf93dcbddfac8db/maelstrom-counter/main.go