Rename FSMHarness to StatefulFSM