squareRoot and verifyBST