Compress decoders, get valid dimensions.

Construct decoders where all zero columns have been removed.
Perform this action on groups of decoders and tuples representing the
"header", index and dimension of each remaining dimension in the block.
"Headers" are for the purpose of attaching KeySpace generators or
similar.