charm: add VerifyWithCharms.

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

done