Revert "- (debugging) searchForAll is sequential (instead of parallel)."

This reverts commit fea479adb21a8ed2c0c78eab7cabce09fd05e53b.