[ON_HOLD] Additional utility helper to check structure of the `sample_domain` array

[kachayev]

The checker makes sure that each domain label is used either as a source or as a target, except for the 'lodo' packing (for which we check that subsets are of the equal size).