master
7903659: Verify Problemlist contents
7903883: --verify-exclude test existence and format checks are broken