Pretty much anything of decent quality will work. Buy a receiver with the features you want or need (number of inputs/legacy inputs, room correction system, pre outs if you need 'em but you won't, Atmos, etc). Those speakers are very easy to drive so power is not an issue. The current AVR favorite at The Wirecutter is the Denon AVR-S710W which goes for about $450. Seriously, you don't need a major AVR or pre-pro/power amp to drive these suckers -- a 10 watt power amp would do the trick.
Theory is a great place, everything works in theory.
Receiver: Denon AVR X3000
Blu-Ray: Sony BDP-N460/LaserDisc: Panasonic AG-LD20
Satellite: Dish Hopper w/Sling
Speakers: SVS Prime Tower/SVS Prime Center/SVS Prime Surround/Velodyne HGS-15