Kr4, good points, the Marantz 8801 would be the best option as Denon does not make anything in current processors these days.
Although I guess an option with Denon would be the AVR 4520i, which can do everything on your list as it is the receiver version of the Marantz 8801, and 1100 less.
Although I guess an option with Denon would be the AVR 4520i, which can do everything on your list as it is the receiver version of the Marantz 8801, and 1100 less.