Migrate unit verification code from desidatamodel

[weaverba137]

Also extend existing code by detecting corner cases where we allow special units like maggy, but where the formatting is still invalid, e.g. 1/nanomaggie^2 is invalid (should be nanomaggie^-2), even if we allow nanomaggie to be a unit.