What's the best AV1 encoder in 2025? I encoded four thousand GIFs to find out