Generalise QC check that ensures that all terms fall under preferred root

[matentzn]

If there is a preferred root declaration, then all terms in the base-namespace must fall under at least one class with a preferred root tag. See https://github.com/obophenotype/cell-ontology/pull/725#issuecomment-700316778