Is ffmpeg able to encode to AV1?
[1] https://git.videolan.org/?p=vlc.git;a=blob_plain;f=NEWS;hb=H...
As an aside: A wrapper within FFmpeg for libaom is only a few hours work, but if you want to play with it Right Now, VLC has support. A native decoder will indeed take significantly longer though.
Batteries and bikeshedding on the Devel ML not included...
So we're already in bikeshed mode ;)