fix: potential deadlock on thread pool shutdown#12050

Kha wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-ymxxlqulpvxwKha/lean4:push-ymxxlqulpvxwCopy head branch name to clipboard