Change vdex format to easily access verification data per class.

See changes in vdex_file.h to see the changes in format.
Alongside, remove the redefined_classes_ set, which is not needed now
that we record verification data per class.

Test: test.py
Bug: 112676029

Change-Id: I7cc1e9ba465303f105cddec4ce86c4efaaed7e7b
14 files changed