Fixed checkFinalAndStrongStates - I got it wrong previously. In the
non-deterministic case *all* states need to be strong failure. All tests
now passing.