There was a recent kernel fix that could be helpful here.
I think the fix is included in LE 12.0.1. Might be worth a test.
I have now been running 12.0.1 for a week and have switched my Denon AVR-X 3600H on and off about 10 times, switched sources as well numerous times.
I am pleased to report the issue appears to be fixed. I am running 60FPS 3840x2160 output in settings and it has reliably always displayed since updating. I have not had to reboot the Pi or switch sources to force output.