With canonical-ordering, can we precompute all possible Merkle hashes for txs in mempool? Is space complexity okay? Can we strip out non-coinbase txs from block propagation, if miners reject blocks with non-p2p txs?
All that and destroy the incentives that make bitcoin invincible while we're at it.
