Verification: one vector suite, every implementation