Adding Witness Generation to cargo-semver-checks