I would always advise to go bigger if the room and viewing habits allow. Going from 135" PJ setup to 88" FALD LED was a pretty rough experience. Since then have been to 77 and 83" OLEDs (albeit in smaller rooms) and year they were pretty good, but honestly pretty small even at 7.5" viewing distance. 83" is still in none of my setups. But 98" TCL QM8 (2024) mini LED is what I hugely prefer due to immersion and maturity that these TVs have achieved at this point, and still the viewing distance is only about 8". It is questionable what OLED vs this mini LED does better, but there is an overall balance in PQ where size becomes a decisive factor.
Don't think will ever go to PJ again as the mini Leds have grown to 110 and 115" and that is about the max my current room would allow anyway.
I would worry about AVR right now. AVRs are not that expensive if no special needs. Most recent Denon 3800H is in the $1K range is on sale. Getting the video right is kind of more, or at least 50%, of your HT.
Just my 2c...