Working on proving a quiver is mutation finite by constructing the graph of all quivers
Adds some object pooling etc. Still runs really slowly for matrices over 5x5, as it requires too many vertices in the graph