actions are "unsigned int", and not "int"
Lts::printAlphabet() uses compressed labels
compress_action_labels must sort strings first

Also converted "graphviz" tests in "alpha" tests.