dav1d is good enough that it has an official release, dav1d now covers all the spec and features of AV1 (including 12bits), dav1d is very fast on modern desktop and it is getting faster on mobile chips.