Yeah, confirmed.. It was 2009 when they were last around, and I believe it was tied to premium membership as was "egging" a person's avatar at the time. Both needed ImageMagick (which has its own set of security issues the last few years).
There is no such stock option to tie animated avatars to custom usergroups (i.e. premium membership) in xenForo software at this time.