Simplified the explicit-state strategy extraction and added the first version of a Fuzz testing tool for generated strategies