I'd say use an external amplifier for them. The first two shakers have pretty low requirements for power, so you could power them with a Sonance Amp, found
here. The 1250MKII or 1230 would provide enough power for every channel and then some. These are great amps, but anothter solid multichannel amp should work.
For the ButtKickers, they have a 400 watt MINIMUM power input, so your reciever isn't going to run them. They sell their own amps that can run two Buttkickers though. As for prices on the buttkickers and amps, I really don't know what they run.
Did some looking, the 1230 sells for around $1k online. As for wiring, if you wire the shakers in series, the resistance adds, so if you wire two in series, the amp will see a resistance of 8 ohms. If you wire in parallel, the resistance is halved, so 2 in parallel would be 2 ohms.