Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification