It has been determined that "make verify" is a necessary part of the downstream process. The scripts that do the downstreaming do not run this command.

Add "make verify" somewhere in the downstreaming scripts, either as a last step in sync.sh or per commit (which might be both necessary yet overkill) in sync_pop_candidate.sh.