Видео при частой перемотке назад будет тормозить, если вы его не сделаете с большим количеством ключевых кадров, но если сделаете, то оно будет весить намного больше. Так что лучше нарезать на картинки, но вместо png с прозрачностью стараться делать jpg и сжимать по максимуму, до начала появления артефактов. Это даст выигрыш в несколько раз по сравнению с png.
Ну и порекламлю свою библиотеку, которую для удобства таких анимаций делал, её как раз в основном с gsap scrolltrigger используем.
https://github.com/its2easy/animate-images
Обычно 60-90 кадров на анимацию, с оптимизацией и постепенной предзагрузкой проблем со скоростью нет, если это не прям на первом экране страницы находится блок. Под мобилы можно отдельно нарендерить кадры меньшего размера или вообще заменить это на что-то более простое.
P.S. Если уже используется gsap, то для обновления состояния лучше вместо своих событий прокрутки использовать scrolltrigger и его колбеки