add test to MainVerifier