Simplifies makefile (dependencies probably wrong anyway, and build is
quick)
Changes verification to use compile flags, run locally but not on kattis