Add unresolved types in verifier deps.

We need to record all assignability checks that the verifier does, so we
reproduce them at runtime.

We ignore those assignability checks for now when validating a vdex file
as the class that uses the unresolved types will be marked as soft fail.

Test: test.py
Bug: 112676029
Change-Id: I21697e976ce56d3905576407b6326863915cc271
5 files changed