* spot/twa/twa.cc: is_empty() and accepting_run() now call the new version of the Couvreur algorithm.