evercrypt 0.0.3-dev

Crypto library using formally verified code from HACL/Evercrypt