Similar Items: TACO: A Toolsuite for the Verification of Threshold Automata