Beautifier changed to VERIFY_ONLY on travis