Dex verifier: Add DCHECKs for offset&ptr_ consistency Add DCHECKs to verify that offset and ptr_ are consistent. The are mutually redundant. Test: fuzz Change-Id: Iafd6982d370df12be2560c710ddb94c5ab2333e2