When a dex file is loaded with different contexts, dexopt with "verify".

vdex files can now be used independently of class loader contexts.

Test: m
Bug: 176960283
Change-Id: I9abaa769363d169de683b8aa2521098026a6f2ad