Link to the verifier that uses this library

Also remove the "status: experimental" since this library is used
in production now.