Spring is a good time to shop for receivers, too, as last year's models often get reduced substantially to make room for the new models. In most cases, the difference between this year's models and last year's are minimal (kind of like cars).
Is the firmware up to date on your Denon receiver? I have the AVR-S930H on one of my rooms, and it did not have Dolby Atmos, DTS:X, or DTS Virtual:X until I ran a firmware update. There are also some bug fixes in the updates. If the receiver is connected to the internet, you should be able to...