The 70 supports 5.2.2 processing, so that's allright.Keep in mind that 7.1 is not Atmos. You can't add height channels to the Cinema 70 and the decoder is only going to give you the DD+/TrueHD core bed layer. If you want heights, you'll need a 9+ channel unit.
I can get the 70 for about 500, cheapest I can find the 3800H is 970 (euro)If you're on a budget, you'll get a lot more value from a Denon.
However I completely forgot about having a Pio LX89 laying around. which is a fully equipped Atmos receiver, never really liked the sound of it that much though. But maybe as a processor it will be fine.