fix: run shell main on a thread with the configured stack size#14343

Kha merged 1 commit into

masterleanprover/lean4:masterfrom

shell-thread-stackleanprover/lean4:shell-thread-stackCopy head branch name to clipboard