add sanity check for PEVerifier