Curious Peng who are your reliable sources? When I call Marantz they are elusive at best. And isn't the SR 8012 a year old now? Marantz is showing it as a new model on their website. For someone like me who will be replacing their TV in the next year or two spending, that kind of money without an upgrade path would be foolish.
Audioholics.com, soundandvision.com, avsforum (jdsmoothie),among others. I don't think anyone has said the 8012 is definitely excluded, it is more like a case of exclusion by omission. So I suppose it is still a possibility though highly unlikely, for a 2 to 3 years old (2019/2020) pseudo flag ship model to get a major upgrade. In any case, I think it will be a costly one too. Imo, it makes more practical sense to go with a SR7012 or the cheaper AVR-X4400H and a 5 channel power amp. You will get more value for the money and be on a more flexible and economical future upgrade path.
You may want to PM
@M Code, he mostly likely can find out for you if he does not know it for sure already.