Yes, and in fact, transactions of 1 MB are ridiculous, because they could easily be replaced by a tree structure of smaller transactions, changing the N^2 into N log N.
How about CoinJoin transactions? Is there a way to replace such transactions with tree structures of transactions in a safe, trustless way? And wouldn't a tree structure be larger than equivalent single many-inputs-many-outputs tx?