QuickCheck Dynamic: Testing Hard Properties and Staying Sane

Have you ever tried testing that your system fairly delivers requests to worker threads or that updates eventually reach all your nodes? These are "liveness properties" and testing them is hard work!