The Denon AVR-X3500H would be my top choice on your list based on street price. According to
@M Code, our resident insider, Yamaha has a better reliable track record and they should have fewer HDMI compatibility issues than others because of their more vigorous testing/certification process iirc). If you search for HDMI issues, you will see that Yamaha's units are not totally immune either. Many of the reported issues on the internet are due to user errors too, especially the ARC related ones.
I have the X4400H and I recall some minor nuisance (occasional audio drop out) in setting up HDMI ARC in the beginning. It has been working flawlessly for more than a year now and my best guess is that Denon must have fixed the issues in the FW updates, so I think it is reasonable to assume the X3500H should no longer have such glitches.
Regarding the DAC thing, you were given some false information. The fact is, the DAC chip for the recent Denon 3000 series and up have been upgraded to the AK4458, that should be considered as equal to Yamaha's ES9006/9007 in the RX-A1080.
Since you brought up the DAC thing, if that is a key factor for you, then you need to know the RX-A880 on your short list, has the PCM5102A, that has distortions 5 times higher than the Denon AVR-X3500H's AK4458.
If compared to the RX-A1080, the AK4458 (Denon/Marantz's) is 5 dB better in THD+N, whereas the ES9006/9007 is 5 dB better in SNR/DNR. So either one has THD and DNR so good that the differences in specs on paper are practically meaningless.
https://www.akm.com/akm/en/file/datasheet/AK4458VN.pdf
http://www.esstech.com/files/4014/4095/2155/SABRE9006A_PB_v0.4_140916.pdf
AK4458 ............................THD: -107 dB, that is 0.000447%, DNR 115 dB
PCM5102A.......................THD: -93 dB, that is 0.0022387%, DNR 112 dB (RX-A880)
ES9006/9007 ..................THD: -102 dB, that is 0.000794%, DNR 120 dB (RX-A1080)
One advantage Denon/Marantz has is the preamp/vol control that is now based on individual IC chips instead of the LSI (large scale integrated) chips. I have no idea if Yamaha has done the same. Either way, the different specs on paper are likely not audible to most people but to the golden ears. It may also make a difference to people (me included) who are sort of obsessed with numbers.
One minor point, the RX-A880's preamp/vol control circuit seems to have a lower output than the RX-A1080 and higher models. Since you seem very sure that you will not ever need additional power so that is a moot point, I thought I should just mention it so you are aware.