Reformat
Add crypto_sign_verify_detached()