Adding complexity measures.
Better debugging output for ArithVariables.
Adding fancy final. Off by default.
Adding Tableau overall complexity measure.
Fixing a bug in matrix copying.