Merge branch 'trace-through' into underflow-known-dynamic #633

Job	Run time
Interpreter (Debug)	6m 42s
Free-Threaded (Debug)	10m 12s
i686-pc-windows-msvc/msvc (Debug)	18m 6s
i686-pc-windows-msvc/msvc (Release)	21m 37s
x86_64-pc-windows-msvc/msvc (Debug)	16m 37s
x86_64-pc-windows-msvc/msvc (Release)	20m 35s
aarch64-pc-windows-msvc/msvc (Debug)	4m 54s
aarch64-pc-windows-msvc/msvc (Release)	6m 1s
x86_64-apple-darwin/clang (Debug)	12m 22s
x86_64-apple-darwin/clang (Release)	18m 34s
aarch64-apple-darwin/clang (Debug)	9m 58s
aarch64-apple-darwin/clang (Release)	14m 26s
x86_64-unknown-linux-gnu/gcc (Debug)	7m 31s
x86_64-unknown-linux-gnu/gcc (Release)	17m 4s
x86_64-unknown-linux-gnu/clang (Debug)	8m 1s
x86_64-unknown-linux-gnu/clang (Release)	13m 11s
aarch64-unknown-linux-gnu/gcc (Debug)	1h 11m 3s
aarch64-unknown-linux-gnu/gcc (Release)	22m 21s
aarch64-unknown-linux-gnu/clang (Debug)	1h 8m 57s
aarch64-unknown-linux-gnu/clang (Release)	36m 12s
	6h 44m 24s

Provide feedback