We have been working on some major upgrades to the Verify module to make the speed more than 10X faster on some large projects. We are now seeing more requests to check some properties on ALL elements - this is under review now. Please get in touch if you have some ideas about exactly how you would like this to work. Is it a project setting, model setting, scope setting, work package setting, etc? That would be helpful.