Small cleanups after latest verifier change.

During AOT, the inliner can also look at whether the class needs to be
verified at runtime. We know the class doesn't hard fail otherwise its
status would be ErrorResolved.

Also un-negate IsUnverified -> IsVerified.
Also make isVerifiedNeedsAccessCheck only return true if the class has
that exact state.

Test: test.py and golem numbers
Bug: 28313047
Change-Id: I2ee0024a380225e1aa120b69069a5a34d3f81113
2 files changed