ReactICS - Reaction systems verification toolkit