The Flexibility Trap: Why Arbitrary Order Limits Reasoning Potential in Diffusion Language Models