Use make for verify step as well as testing. Update Makefile with proper commands.