Temporarily marked concurrency specs as unstable.