Add CI job ensuring docs numbering is conformant

[blkt]

We discussed in a Discord thread about having a consistent numbering scheme for design proposals (thread here) and landed on using PR numbers as in THV-####-name-of-your-proposal, where #### is the PR number (not the issue number).

We should add a CI job that ensures new files under docs/proposals follow this numbering scheme.