UCT spawn_thread_manager(): Make sure each thread gets 1M stack