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