Debug Info Verifier: simplify DIxxx::Verify