I've never seen a 40 pound AVR that didn't have power to match the weight. I suspect the power is very conservative.
Your brought up a very interesting point on weight, power consumption and transformers etc., that are not very well understood and often misinterpreted as evidence on man forum posts.
Generally, or often true about what you said above, but I have seen many that weighed more but output less power than Denon and Marantz's. I owned an older Sony that weighed over 40 lbs, only a 7.1 channel one, and didn't output as much (in fact far less) output power as even my Denon AVR-3805 at the time. Weight is no doubt a factor but just not always reliable one, just as a cautionary note.
Gene had done a calculation showing that a class A/B AVR like the SR8015 with 110 watts in 7 channels is not 780 watts but a lot more because Class A/B is inefficient and the efficiency curve varies as you demand more power. In the tests, he showed that the 8015 may be hitting 1.5 kilowatts or more.
Check out the power transformer of the series in its own box and reinforced base in the cage and the heatsink on the HDMI.
There's no way Sony put a weak power supply when the Yamaha Aventage A8A has a max power consumption of 1.6 kilowatts but we'll soon find out.
Keep in mind there is no clear definition for different manufacturers to standardize on the power consumption specs. You mentioned Yamaha, check out their manual and you will see that they typically give multiple numbers, at least two anyway, one they call consumption, the other maximum consumption, but in any case they never say anything about under what load conditions, i..e amperage, voltage, and duration.
They would say something about power consumption for the flagship RX-A3080 (Amir measured one):
Power consumption..................................490 W
Max. power consumption...................... 1210 W
In some cases, they would add that the maximum consumption is when distortion is at 10%.
How do you compare that to Marantz flagship 780 W, I don't know, as I said they don't follow the same standard for the power consumption specifications so they are literally all over the place.
Having said that, it is still a somewhat useful spec for comparing different AVRs made by the same manufacturer such that if the Denon AVR-X4800H and the Marantz Cinema 40 have the same power consumption then very likely they will have the same measured output under the same load conditions. Other than that, the spec, like the weight, aren't all that useful by themselves.
The whole weight, power consumption, transformer specs thing probably deserve a thread on its own so people can share their knowledge, experience and debate to the nth degree.