Adding some VersionRequirementSpecs as regression tests