charm: add VerifyWithCharms.

We don't yet verify the charm options. That will come later.

Needed twice to get the code below. The comment above only repeats the function name. I would like a bit more of description here, like "verifyRelation verifies a single relation by first doing this, then ansuring that and in case of this doing that." Simply thinking of later maintenance.