Use FlyMC to explore the DC bugs

FlyMC is a a fast and scalable testing approach for datacenter/cloud systems such as Cassandra, Hadoop, Spark, and ZooKeeper, developed by [UCARE lab](https://ucare.cs.uchicago.edu/). You can learn more about it from the [paper](https://ucare.cs.uchicago.edu/projects/FlyMC/). In this experiment, you will play with FlyMC to catch the [Cassandra bug-5925](https://issues.apache.org/jira/browse/CASSANDRA-5925) step by step. Later if you are still interested, you can try the other 4 cassandra bugs, as long as 2 zookeeper bugs, 1 mapreduce bug and 1 spark bug.