Early exit by tracking proofCount became unworkable in D14663
It is now no longer used.
ninja check && ninja check-functional