[NFC] Include <vector> in Verification.h. (#795)
[NFC] Include <vector> in Verification.h. (#795)


jubitaneja/souper,google/souper,regehr/souper,google/souper,regehr/souper,jubitaneja/souper,google/souper,rsas/souper,rsas/souper,rsas/souper,jubitaneja/souper,rsas/souper,google/souper,rsas/souper,jubitaneja/souper,regehr/souper,jubitaneja/souper,jubitaneja/souper,rsas/souper,regehr/souper,regehr/souper,google/souper