modify verify.py, add testVerify.py, changed the algorithm in firstStep.py