complement: fix a regression with 2.9.8
Reported by Reuben Rowe.
- spot/twaalgos/complement.cc (complement): Remove the hard-coded simul=0 option on automata with >32 states. In 2.10 simul=0 now implies det-simul=0, causing the regression, and most importantly it is not needed anymore, because we have other threashold like simul-max and simul-trans-pruning in place.
- tests/core/complement.test: Add Reuben's automaton as test case.
- NEWS: Mention the fix.