refactor(traverse): harden soundness of Traverse and document safety invariants better
#2401
| Job | Run time |
|---|---|
| 6m 46s | |
| 6m 46s |
Traverse and document safety invariants better
#2401
| Job | Run time |
|---|---|
| 6m 46s | |
| 6m 46s |