This version first checks for bad states, then runs the verifier with increasing size of k.