refactor(traverse): harden soundness of Traverse and document safety invariants better
#2404
| Job | Run time |
|---|---|
| 7m 20s | |
| 7m 20s |
Traverse and document safety invariants better
#2404
| Job | Run time |
|---|---|
| 7m 20s | |
| 7m 20s |