Additional validations and tests for the validations of latex
Enable travis ci