Flatten arrays in proc state

[grebe]

Proc state elements of array type can be a scheduling barrier- even if each individual array element has a short backedge, the entire array can have a long backedge that limits throughput. In some cases, it may be profitable to flatten an array into its constituent elements.