This MR tweaks the "check flushtree clears adb correctly" check of the cacheclean system test so that a corner case in query timing will not cause a false negative any more. Furthermore, the aforementioned check is modified in order to simplify diagnosing its other potential failures in the future.
Fixes #67 (closed).