Welcome to Axiom, Vik. You've got an excellent set of Axioms, but I wonder if using M22s as ceiling speakers is one of the typos. They're a bit big and heavy for that, so did you actually mean M2?
In any case, since you have 11 speakers, you'll need that many channels of amplification to use them simultaneously. Of the ones that you mention, I'm unaware of a "Marantz 8 series" AVR(there is a 8802 preamp/processor). The Yamaha 3040 has 9 internal amplifier channels and if combined with a separate 2-channel amplifier would power your entire setup with 4 ceiling speakers for Atmos.
My suggestion for a 9-channel AVR(again, a 2-channel separate amplifier is also needed)for Atmos play would be one of the Denon models with the top Audyssey MultEQ XT32 room correction processing. Suitable models would include the X5200, X6200 and
X7200 . If you're in the U.S. you can get great deals on the factory refurbs (when in stock)from Accessories4less.
