Iterator version of binary tree checker