The `verbosity` option is ignored, which makes it more difficult to obtain debugging information if the "internal" push, i.e., the `git push` invocation by `git-remote-rad` fails. Provide two types for verbosity, and wire them up.