Text this: First-Arrival Differential Counting for SPAD Array Design