If the correctness of my program depends on the ordering of data (for operations that would otherwise be commutative), that seems like that should be something explicit rather than implicit.

I'm not sure if I agree that "hidden setting actually keeps your data correct" is something that should be the default.