A test framework for verifying concurrency anomalies

I'd also note this makes more sense if you define local consts for the isolation types:

```
const (
  Serializable = proto.SERIALIZABLE
  Snapshot = proto.SNAPSHOT
  ...
)
```