Added link to the verification repository

This allows people to double-check our work

Also, fixed a typo in the header