TACO: A Toolsuite for the Verification of Threshold Automata (ArXiv cs.DC Recent Papers, 2026)