charm: allow for juju-info relation

We add a bundle that uses it for verification (and because we wanted
another simple bundle anyway).

As a drive-by fix, we change VerifyWithCharms to make it easier
to verify without verifying constraints.

It's not done because we don't enforce order. It's because juju-info is only
declared implicitly, so we need to explicitly add the relation when needed.