Add x509_vfy functions