Verify now uses M2Crypto.

Doc changes.