issue warning in CI when a previously-defined ID becomes undefined

[michaelficarra]

We should add a GitHub CI job that emits a warning on the line of the spec that defines an ID that becomes undefined by the PR.