SparseShape::validate now correctly checks for empty tile norms.
The post processing operation in ContractReduce now checks the permutation correctly.