Refactor code around the verifier.

- For classes that are not resolved, we were doing verification but were
  not recording the outcome - fix that.
- Clear the verifier deps (for space reasons) only when a class is hard
  fail or needs to be verified at runtime.

Test: test.py
Bug: 176960283
Change-Id: If19c0e6171ce945a6cd56ba4a42fbb8e2a5ccee7
6 files changed