delete verify.mk (replicated in build.mk).
ivory build: update.
ivory build: update.
ivory build: add verify includes.