Fix verifier deps determinism

Previously, the unverified_classes were not deterministic since
they were represented as a vector. This CL moves it to a set and adds
a regression test.

Bug: 63467744
Test: test-art-host

Change-Id: I891254a927228b1dc4d8e1c65d5e99ae58b854ea