Add 'make verify' target to top-level makefile