perf: try dropping written files async on Windows#185

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

Kha:push-xkqnvrnwrrstKha/elan:push-xkqnvrnwrrstCopy head branch name to clipboard