Verification checks

Resolve Dependencies for verification checks in a transitive manner
Use a dedicated class loader for each verification check.