1、Driver Verifier failures are bug checks, by the way.
2、The specified checks are in addition to a number of checks that the Driver Verifier makes automatically.