Inference on Average Welfare with High-Dimensional State Space