Merge "ART: Tighten verifier list reading and offsets" into lmp-dev