We haven't looked much into WebP as an animation container. And since it's only supported by Chrome (and will likely remain that way) we are not currently considering it. WebM and MP4 both have pretty good codecs for video; definitely a lot better than GIFs, that's for sure.