master
7903883: --verify-exclude test existence and format checks are broken
7903659: Verify Problemlist contents
7904015: --verify-exclude fails to abort the test run when discovering failures