If your going with Paradigm speakers you shouldn't discount the Yamaha RX-V2400 that is at the same price point as the HK 525, Elite 53tx and Denon 3803.
The RX-V2400 offers the following features:
1) OSD through component video (also on Denon 3803)
2) HD component swithcing (60 Mhz) (Only Denon 3803 is higher at 100)
3) Component Video upconversion (also on Denon 3803)
4) YPAO (Auto Setup and Room equalization)
5) Adjustable 9 step crossover (40,60,80,90,100,110,120,160,200)
6) DPLIIx (not offered on any of the above)
7) Yamaha proprietary DSP modes (at least a few are excellent)
8) THX Select Certification and Post Processing (also on Elite 53tx)
9) Rated for 4 ohm loads
10) Zone 2 video and audio and Zone 3 audio
11) 8 digital inputs (5 optical and 3 coaxial) most of any of these units
12) DTS 96/24 (not on HK 525)
Yamaha and Paradigm are known to be a very good match.
There's an interesting review at audioholics.com if your interested.
One more thing, you didn't state what your listening tastes are. If you primarily listen to 2 channel stereo CDs I would seriously look at the HK 525 as it really excels in 2 channel stereo. If your main focus is HT I don't think any of these units matches the Yamaha in either Sound Quality for Decoding.