A test framework for verifying concurrency anomalies

s/Otherwrise/Otherwise/g