I have no doubt that among the units listed by the OP, the 4311 is the best deal, mainly because of its XT32 but also because it offers significantly more power and is 4 ohm rated. Oh, it also offers 11.2, and the latest Denon Link that is good for those who own compatible Denon players.
I know some people says Audyssey improves things for them while others have no use for it. For me, Audyssey is very good for bass management, especially XT32 as it really works for me. Beyond that, I find XT32 also seem to make an audible difference for me. I now use it more often for 2 channel stereo music enjoyment, but any such perceived (by me) improvement is still subtle. I would also say that perhaps some (of course not all) of those who did not benefit from it might not have run their setup correctly. I must have run setup at least 10 times each time I changed AVR and prepro. I have run it about 5 times within a week since I have the 8801, so I am getting good at it. It really is a must to use a good tripod, at ear level and make sure the mic is not blocked by anything (including your body part) nearby. I also read that people don't always do it for all 8 positions due to the false belief that it is only necessary to do it for the one listening position unless there are multiple listening positions. The software need the data from more positions, in order to figure out the room more accurately. For those who run their setup correctly, improvements may still depend on the specific room.