default to --check-level=exhaustive internally / several related cleanups
#11792
| Job | Run time |
|---|---|
| 2m 1s | |
| 3m 25s | |
| 3m 38s | |
| 3m 49s | |
| 4m 45s | |
| 4m 57s | |
| 22m 35s |