Since verifier and SlotCalculator are now in VMCore library, libanalysis is