Сомневаюсь, что они настолько серьёзные, чтобы ты их заметил при сравнительно небольшом количестве переключений. Сам по себе smol - микроскопический, 200 строк с комментариями. В основном (имхо, конечно же) проблема больше в том, что асинк-стд могут ломать, а токио лучше соблюдает правила релизов и старается пользователей не кошмарить лишний раз.
Если хочешь супер-стабильных сборок прямо сегодня - бери токио.
Лично мне асинк-стд нравится тем, что он всё более грамотно становится огранизован - раздедение на мелкие крейты, наличие mpmc - это из последнего.
а) smol "микроскопический" потому что вся подноготная размазана на 100500 крейтов - если посчитать общее число строк с зависимостями, то smol выйдет жирнее
б) API у async-std считай на 90% идентичное токио, а весь смысл проекта - "мы не любим основателя токио"