Add a verification_test project