Add a test for short (non-detached) signed messages
Do not directly return the result of crypto_verify()
Test crypto_sign_detached()
Test detached signatures
A double verification of 32 bytes is fast; so is comparing 2 pointers
Enable Coverity+Travis