charm: add relation tests in VerifyWithCharms