Also show sizes in the html report to easier spot the size mismatch issue. <img width="1030" alt="diff" src="https://user-images.githubusercontent.com/9881434/213327632-b8fcd69c-8d08-460c-9de1-b5f4f8c56359.png"> Fixes #15802.