Вставлены они через тег img.
Анимировать не получится, только каким-то адски странным способом, типа по url тянуть код и создавать копию, но уже в виде кода, все средствами js. Возможно и есть такая либа, но это странная затея.
6-12 - отлично можно в 1 svg запихнуть в defs и через use использовать, что бы html был читабельнее. и что бы в конце расположить.
Какую библиотеку можно использовать для анимации SVG?
любую, на вкус и цвет все фломастеры разные. Идеальной не находил. Каждая удобна в том или ином случае. Зависит от характера анимации. Вы бы описали. Но в любом случае лучше всего самому без библиотек. Я юзаю SMIL, но
https://caniuse.com/#search=SMIL
