improve detection and handling of weak automata in remove_fin()
remove_fin()
currently has just
// FIXME: we should check whether the automaton is weak.
if (aut->prop_inherently_weak().is_true() && is_deterministic(aut))
return remove_fin_det_weak(aut);