Если вы написали логику так, что корутина будет восстановлена в новом потоке - то она будет восстановлена в новом потоке. Эта логика пишется программистом уже, да
Да, в этом и идея. Вам дали механизм, который позволяет сохранить состояние выполнения функции в заданной точке. При этом, даже аллоцирование памяти пож это состояние вы можете тюнить под себя