Record all type assignability checks in the verifier.

We used to only record at boot classpath boundaries. But due to making vdex
verification per class at runtime, we now need to record all checks.

This means when before we would look at the superclass chain of an app's
class to find the one in the boot claspath, we now will encode the class directly.

Test: test.py
Bug: 112676029
Change-Id: I58a18ed13c2d3fdc41a37f56624cc4b24f58bf80
4 files changed