Well you have posted this awhile ago, so you may have already
made your choice, but here is my "two cents".
I have a DENON AVR-4800 and before that I had a YAMAHA
RX-V890. Both great sounding AV receivers. Problem was
my SNELL E-5's were never happy with the power I had given
them. I remember when I bought them that the AMP driving
them really made them sing at the DEALER. They are 4ohm speakers.
I ended up getting a PARASOUND amp to drive them. NOW
they sound exquisite. I will never let them go.
Just a thought. Maybe you should get a mid-end AV receiver
with DTS,THX,DOLBY DIGITAL or whatever processing you
like, but have leftover cash to get a good AMP with hefty
current for the SNELLS to use with you receiver.