Options 2 and 4 are the only ones with up-to-date HD codecs and processing via HDMI.
I have pretty much the exact same speakers as you in a 5.1 setup, and have been using a McCormack DNA 5-channel amp with satisfaction. I was also considering some of the same processors as an upgrade from my old Rotel RSP-1066, but looking to spend no more than $7,000. My narrowed down choices were the Classe SSP800, Arcam AV888, Integra DHC 80.1, Anthem AVM50v, and Marantz AV8003, but I decided to order the Arcam AV888. I'll let you know my thoughts once I get it calibrated and fired-up in my theater room.
WOW !!! You guys are making this decision difficult. I love all the comments... they are exactly the tradeoff that i have been considering. The Mac retained value and classic sound and look. The matching the front speakers with 2 ca5200 will be more uniform... and potential issues with the preamp sound quality. this is a tough decision, however i almost feel like i can't go wrong with almost any choice other then perhaps spend a little more then i need to.