Improve automatic worker selection #124

Improve automatic worker selection. The current root-count × DAG-size estimate jumps to an eight-worker budget. Include estimated remaining search time and worker initialization cost, potentially using a small bounded sample. This targets short-input latency and unnecessary CPU use. main.cpp (line 241)