Text this: AccelSync: Verifying Synchronization Coverage in Accelerator Pipeline Programs