I would love to see some quality benchmarking of a non-trivial threaded solver in Rust.

As strongly suspect it will perform "well enough" (hopefully much better than async in Python, and hopefull javascript too), which is good enough for me to be able to escape async.