Revert "[Verifier] Speed up and parallelize dominance checking. NFC"

This reverts commit 08664d00, which according to
https://reviews.llvm.org/D103373 was pushed accidentally, and I believe it
causes timeouts in some internal mlir tests.