Higher standards for EIPs

Number 1 sounds very similar to this:

TL;DR is the spec, test suite, and formal semantics are kept together, and each proposal must modify those items in feature branches so they are kept up to date.