I recently did some encoding, but settled on VP9 over AV1 because it has wider support and ffmpeg considers its encoder "experimental." VP9 is supported out-of-the-box on practically everything modern that isn't Apple. AV1 is on-track to replace it, but depending on the support you're looking for, that might be five years out.