Updated NuSMV model generator script and the fuzz tester.