dav1d is the fastest AV1 decoder on all platforms
