Link to the verifier that uses this library

Also remove the "status: experimental" since this library is used
in production now.
Merge pull request #30 from fmarier/update_README

Link to the verifier that uses this library