If you’re looking for examples of explosively large contracts, simply go to this repository: GitHub · Where software is built
The huge contract size increase of PolkaVM is probably an accepted fact already, and I don’t think it’ll ever improve. We may compile Rust->PolkaVM well, but for Solidity->PolkaVM, there’s no way. It’ll always be explosively large.
This also applies to my plan of EVM->revmc->PolkaVM. So I’m increasingly thinking that interpreting EVM (with possible direct JIT/AOT off-chain) is already the best choice.