split schrijver primal/dual verifiers
HilbertArray.relabel can take spaces (not just atoms) in the dict
schrijver verifier works on product graphs