finished iterative method of bintreeVerify