Update README.md

Added section pointing to Brent's PCNLint tool for spec validation.