Added a simple graph representation because pydot is full of... sadness.
Added simple implementation of Tarjan's algorithm for strongly connected components. This should allow us to isolate cycles within the regexes and identify them. Maybe.