test: stabilize flaky restart test by waiting for fresh client#766

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:push-mprmlqltnrvxmhuisi/vscode-lean4:push-mprmlqltnrvxCopy head branch name to clipboard