Merge "Full-stack integrity: check vdex contents."