Including number of dumped states (#17)

* Including number of dumped states

* Update StatesDumper/StatesDumper.cs

Co-Authored-By: vncoelho <vncoelho@gmail.com>

StatesDumper/StatesDumper.cs

@@ -40,7 +40,7 @@ protected override bool OnMessage(object message)
                 return state;
             }));
             File.WriteAllText(path, array.ToString());
-            Console.WriteLine($"States have been dumped into file {path}");
+            Console.WriteLine($"States ({array.Count}) have been dumped into file {path}");
         }
     }
 }