Fixed Cycle Detection Logic and Added Tests.

[InsertCreativityHere]

This PR does a couple few things:

• Fixes the logic for detecting cyclic container types (structs and exceptions) because the current logic is totally broken.
  A Slice definition like struct S { s: S } causes a stack overflow. This is no longer the case with these new changes.

• Fixes the logic for reporting cyclic type aliases. It incorrectly reports cycles like: 'Foo -> B -> A -> B'.
  Even though Foo isn't part of the cycle, it gets reported like it is.

• Simplifies the error reporting logic for cyclic type aliases. We go out of our way to emit very detailed messages about each link in a cycle. Now we just report the cycle like: 'A -> B -> C -> A'. I think that's good enough, and made it easy to implement the above mentioned fix.

• Implements Add tests for InfiniteSizeCycle and CannotResolveDueToCycles  #386 and finishes implementing Add Detection/Validation/Tests for Catching Cyclic Type-Aliases #181 by adding tests for cycle detection of both type-aliases and containers.

[externl]

Looks good!