Constant time testability of first-order logic with modulo counting on finitary graphs (ArXiv cs.LO Recent Papers, 2026)