Added viewer for debugging. Fixed major bug for automorphism groups, now passes first unit test. Added invariant cleaner.