> Surely AV1 would be infringing on at least some of HEVC's expansive patent pool

Yes, it probably would, but if these patents are owned by members of AOM it is not an issue