New Receiver Advice

So I recently took delivery of a Sony XBR-75x940D.

It is paired with a Yamaha RX-A740 and an XBOX One S.

Anyway, It turns out the RX-A740 does not support HDR. I am also having some lip sync issues when playing TV apps via ARC.

Question:

I need to upgrade because I want to enjoy the benefits of HDR (why get a new TV with it if I can't take advantage?) What Would you upgrade to?

1. Yamaha RX-A760 (I believe the modern equivalent of the A740) - Do you think it would have the ARC issues taken care of? Or is something else causing that?
2. Sony STRDN1060 or STRZA1000ES (will these both do HDR and pass through 3D?)
3. Pioneer Elite VSXLX101 or VSXLX301 (will these both do HDR?)
4. Denon AVR-S920W, AVR-X1300W, or AVR-X2300W (does only the X2300 support HDR?)
5. Something else? Keep in mind the receivers above are all at a similar price point

Additional Info:

System is hooked up as follows (and I'd like to keep this way): Satellite Box => XBOX One S => Receiver (Yamaha RX-A740) => TV

Thanks!