1) Weight pushing implemented.
2) ReverselyAccessibleAutomaton interface added.
3) ReversedAutomaton implemented.