A double verification of 32 bytes is fast; so is comparing 2 pointers
Enable Coverity+Travis