Add lint ensuring proposals mentioned in `requires` appear somewhere in the body

[SamWilsn]

The goal is to catch proposals like this:

---
# ...
requires: 4, 5, 6
---

## Abstract

Building on EIP-4 and EIP-6, we blah blah blah...

In this example, we'd want an error about EIP-5 not being mentioned.