Check requires in specs

This PR adds the same checks for requires to the specs as we use for the source code.