Rollups composability limits and sequencer decentralization trade-offs for scaling