What are the tradeoffs between forced transaction mechanisms and based sequencing in rollups?