makefile: make it possible to turn on matchcompiler verifications with 'VERIFY=1'