Add some try_associativity tactics
Remove HomAdjunction to speed up AdjointHom a bit

After    | File Name                             | Before
-----------------------------------------------------------
1m19.13s | Adjoint/Hom                           | 1m35.32s
0m19.51s | Category/Equality                     | 0m20.19s
0m09.99s | Comma/Duals                           | 0m09.82s
0m07.79s | Comma/InducedFunctors                 | 0m07.74s
0m07.30s | Groupoid                              | 0m07.21s
0m05.23s | Category/Morphisms                    | 0m05.37s
0m04.92s | SumPreCategory                        | 0m04.55s
0m04.22s | Groupoid/Duals                        | 0m04.16s
0m03.99s | Functor/Equality                      | 0m04.47s
0m03.67s | Groupoid/Functors                     | 0m03.51s
0m03.16s | UniversalProperties                   | 0m03.20s
0m02.81s | Grothendieck/ToSet                    | 0m02.79s
0m02.55s | BoolCategory                          | 0m02.49s
0m02.32s | Comma/CommaCategory                   | 0m02.32s
0m01.92s | NaturalTransformation/Equality        | 0m01.77s
0m01.89s | Category/Product                      | 0m01.85s
0m01.82s | NaturalTransformation/Duals           | 0m01.77s
0m01.76s | Hom                                   | 0m01.62s
0m01.36s | NaturalTransformation/Product         | 0m01.39s
0m01.28s | NaturalTransformation/Composition     | 0m01.36s
0m01.22s | NaturalTransformation/CompositionLaws | 0m01.28s
0m01.21s | Functor/Product                       | 0m01.14s
0m01.08s | NaturalTransformation/Isomorphisms    | 0m01.11s
0m00.77s | Cat/Morphisms                         | 0m00.76s
0m00.64s | FunctorCategory/Morphisms             | 0m00.63s
0m00.59s | InitialTerminalCategory               | 0m00.56s
0m00.42s | Functor/CompositionLaws               | 0m00.46s
0m00.40s | Comma/Projection                      | 0m00.44s
0m00.36s | IndiscreteCategory                    | 0m00.32s
0m00.33s | Discrete/Duals                        | 0m00.33s
0m00.32s | SetCategory                           | 0m00.28s
0m00.32s | Cat                                   | 0m00.29s
0m00.32s | NaturalTransformation/Identity        | 0m00.30s
0m00.32s | Common                                | 0m00.33s
0m00.30s | FunctorCategory                       | 0m00.25s
0m00.28s | Category/Objects                      | 0m00.25s
0m00.27s | Adjoint/UnitCounit                    | 0m00.23s
0m00.24s | NatCategory                           | 0m00.22s
0m00.24s | Functor/Composition                   | 0m00.21s
0m00.23s | Functor/Duals                         | 0m00.23s
0m00.21s | IsGroupoid                            | 0m00.18s
0m00.19s | NaturalNumbersObject                  | 0m00.16s
0m00.18s | ComputableCat                         | 0m00.15s
0m00.16s | Category/Core                         | 0m00.16s
0m00.14s | Adjoint                               | 0m00.15s
0m00.14s | NaturalTransformation/Core            | 0m00.15s
0m00.13s | NatCategory/Duals                     | 0m00.13s
0m00.13s | Category/Duals                        | 0m00.14s
0m00.12s | Peano                                 | 0m00.13s
0m00.11s | NaturalTransformation                 | 0m00.10s
0m00.11s | Category/UnivalentCategory            | 0m00.11s
0m00.10s | Functor/Core                          | 0m00.13s
0m00.10s | DiscreteCategory                      | 0m00.09s
0m00.09s | Functor/Identity                      | 0m00.10s
0m00.09s | Category/StrictCategory               | 0m00.10s
0m00.09s | Functor                               | 0m00.10s
0m00.09s | Utf8                                  | 0m00.11s
0m00.09s | Grothendieck                          | 0m00.10s
0m00.08s | Category                              | 0m00.05s
0m00.04s | Notations                             | 0m00.06s
0m00.03s | NotationsUtf8                         | 0m00.06s
-----------------------------------------------------------
2m58.90s | Total                                 | 3m14.98s