pub fn iso(a: &[u64], b: &[u64]) -> bool
Are two measures isomorphic in the category — mutual refinements (the same partition of steps up to relabeling levels)?