While your analysis is correct, providing free sell options is a second-order effect, whereas a market order is a first-order effect. I think such second-order

While your analysis is correct, providing free sell options is a second-order effect, whereas a market order is a first-order effect. I think such second-order effects are much harder (though not impossible) for people to game.