A test framework for verifying concurrency anomalies

Eh? I only count 70 distinct histories for the write skew tests. Yes, you have additional variations based on isolation and priority, but the actual ordering of operations isn't so large. But perhaps I'd feel better if you just had some tests for enumerateHistories().