experiment combining verus with simulation testing of simple CASPaxos implementation - View it on GitHub