Great Question!
I think that this is a great question and one more should be asking.
I am sure that most receives will be able to "handle" any new audio player output using existing codecs.
Whether or not there will actually be a specific codec written for the new HD video formats is speculation but I would not be surprised. It seems the video industry work horse is the one that pulls the audio industry waggon.
There are several players that have RS 232 connections for upgrading firmware\software so if you are concerned, make sure the mfg you buy from has a reputable upgrade path and support system for this type of upgrade.
Happy Holidays!