dav1d is a new AV1 cross-platform decoder, open-source, and focused on
speed and correctness.