(temporarily) check consistency of new postorder DFS no matter what DEBUG is