AccelSync: Verifying Synchronization Coverage in Accelerator Pipeline Programs (ArXiv cs.AR Recent Papers, 2026)