What's your budget? If money was not an issue, I would probably recommend a used Krell Foundation 4K processor. It's a 7.1 processor, so it doesn't have all the extra channels and junk for atmos stuff. But they are in the $4.5k price range.
A used Anthem AVM-60 is in the $1900-2200 range.