Merge changes Ifd690cda,I7bcbe947

* changes:
  Fix vdex fast-verify performance regression
  Improve `verified`, add `redefined` class status in VerifierDeps