Sound wise, there's no difference.
Ultimately, banana plugs are much easier to connect and disconnect.
Spade lugs can possibly provide a more secure connection (if the items aren't moved) but some banana plugs are of the "locking" variety, so there goes that advantage.
But, since real estate on the back of a modern AVR is quite tight and simply inserting a spade lug correctly might be difficult, if not impossible.
FWIW, I use banana plugs all around.