Commit generated by running update_test_checks.py, to reflect the fact that we now add the `mustprogress` attribute.