If you liked the HK, I would recommend the Harman Kardon AVR 2600. It has everything you want except streaming audio (though the room EQ, by all accounts, is not up to the same standard as others).
It has the video overlay you are looking for, and it has Dolby Volume too. The 'new' X600 line of AVRs don;t have the quality problems that the X54 line did either. I would get a 2600 on sale rather than the newer, but apparently less well specified, 2650.