> asyncio is still inherently single-threaded, and hence also single core.

IIRC some of the proposals around removing the GIL in the past have actually suggested that the asyncio paradigm could become multithreaded for parallelism.