A test framework for verifying concurrency anomalies

Done.