Enable the verify step on Travis