Non-atomic RMW on global synth_synced counter (race)

Summary

getsynthvnode(:66-69) if(synth_synced<2){sync_devs();++synth_synced;} unlocked. Concurrent first-calls each observe <2 and each execute sync_devs+increment. Functionally harmless (idempotent). Hardening.