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