* Change dtype=str on read functions. Prevent name mangling when using numeric state/event names.
* Changed state_namer behavior on deterministic_equivalent. Old behavior was just str(list_of_stated), but it caused confusion as {A,B} and {B,A} would be two different sets. Now states are sorted alphabetically, then concatenated as "A B" space-separated list.