Towards High-Order Mean Flow Generative Models: Feasibility, Expressivity, and Provably Efficient Criteria