I would think a higher quality receiver would have more benefit than a more expensive amp, especially if you are interested in Dolby Atmos and DTSX. Those additional height/overhead channels are usually not on the lower priced receivers. Additionally, if you have a 4K display/projector, you are more likely to find compatibility with higher end receivers. A lot of lower end receivers may not pass 4K signals through properly.
Sharp LC-80LE844U | Marantz BD8002 | Marantz AV8003 | Marsh Sound Design A400s (FL/FR) | Marantz MM7055 (C/SL/SR) | Phase Tech PC 9.1 (FL/FR) | Phase Tech PC 3.1 (C/SL/SR) | Dual PSA S1811 Subs