Предположим, вы разрабатываете масштабируемое API для большого количества пользователей. Вы хотите использовать асинхронное фреймворк с поддержкой WebSockets и глобальным счётчиком соединений. Какие из существующих асинхронных фреймворков для Python лучше всего подходят под эти требования, и почему?