Regarding the last point, let's say hypothetically you create a market for "+100 FB shares, -500 SNAP shares". If everyone is competing on price to quote that combination, that creates the most competitive market. However, if there are many expressive bids with various conditions (e.g. minimum quantities, conditional on execution of another leg, etc), they may not get "implied" into creating a reasonable market, creating exponentially more arbitrage opportunities if they become locked/crossed. This adds a lot more complexity in calculating implied markets and matching them in a sensible way. With price-time priority, I agree that there are downsides as you mentioned, but it makes it easier to ensure the tightest spreads.