Re-enable dex verifier after dexlayout

Disabled class def ordering since it violates the spec regarding
superclasses occurring before subclasses. This fixes a dex verifier
failure.

Adjust the data section size based on string data and code item
diff. This fixes dex2oat_image_test failing dex file verification.

Fixed handling of unreference annotations. Previously, these would
not get written back out. This resulted the dex file verifier
prematurely ending for annotations during CheckIntraSectionIterate
and then complaining about non zero padding (that was actually an
annotation).

Test: test-art-host
Bug: 63756964
Bug: 68208404

Change-Id: Id2b9b360640c360ac562826e9193971f7bb30eea
10 files changed