If you find my posts somewhere discussing with
@jhaider, I am a pretty big Marantz fan. I had both the PM-10 and SA-10 and only sold them to fund my Meyer Sound gear.
I would probably run Audyssey not Dirac on the AV10 if I had the AV10. The analog input is nice as is the added reliability since I occasionally need to reboot the HTP-1 still. I have seen no meaningful benefit with DLBC over plain Dirac in my particular room, although ART should be a benefit.
That said, the AV10 is much more expensive than the HTP-1 and I would only take the AV10 at $4K.