Add MIGRAKE_VERBOSE flag