Como é que o mecanismo de criação de threads leves (greenlet) na biblioteca Gevent é implementado por baixo do capô em comparação com as corrotinas nativas do asyncio? Porque é que o Gevent requer monkey patching, enquanto o asyncio não?