Change emptiness_check interface
The class should provide two methods is_empty() and accepting_run(), to be consistent with the method offered by twa.
This allows to optimize the algorithms when there is no need to compute an accepting run (e.g. couvreur on terminal automata).