Adding check-syntax to the tests stage in the Makefile