Traversal Verification for Speculative Tree Decoding