The value of `-Cinstrument-coverage=` doesn't need to be `Option`

Not using this flag is identical to passing `-Cinstrument-coverage=off`, so
there's no need to distinguish between `None` and `Some(Off)`.