edge labels in generated graphs are now easier to see
closes #43 - ambiguous fsm transitions warn, instead of erroring