Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding