Adds a new check to CI that verifies that the semver string
defined in the contract matches the string defined in natspec.