feat: Adding test vector spec to MPL

[seebees]

Test vectors are important both for compatibility but also to help reason about correctness.

Having empirical tests gives confidence to our proofs.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Check any applicable:

• [ ] Were any files moved? Moving files changes their URL, which breaks all hyperlinks to the files.

[josecorella]

overall, i don't disagree with the spec - I've identified some nits and offered some questions in this first pass.

[josecorella]

force push to rebase and update with feedback