Made commandline argument for VerifyState()