How we designed our database for complete control over concurrency, time, randomness, and failure injection.