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