Che il contatore vada in overflow e che riparta da zero è indubbio.
Dopo questo, entra in gioco il "come" viene gestito il controllo. E' tutto lì. Se il controllo viene fatto in un certo modo, il problema non affligge il codice.
Di come fosse fatto nel BlinkWithoutDelay sinceramente non mi ero mai preoccupato 