docs(traverse): document soundness hole #23073

Job	Run time
Build Linter Benchmark	3m 8s
Benchmark (lexer)	1m 41s
Benchmark (parser)	1m 36s
Benchmark (transformer)	2m 17s
Benchmark (isolated_declarations)	1m 46s
Benchmark (semantic)	1m 41s
Benchmark (minifier)	2m 18s
Benchmark (codegen)	1m 52s
Benchmark (sourcemap)	1m 48s
Benchmark linter (0)	3m 9s
Benchmark linter (1)	1m 45s
Upload benchmarks	24s
	23m 25s

Provide feedback