A test framework for verifying concurrency anomalies

We have lots of logic in retry and the retry txn won't behave as another independent txn thus we need to enumerate all the possible cmd sequence with retry as well. This is one of the major different between cockroach and other SI/SSI concurrency control.