Add cycle detection using the problem detector, plus test.
Return early on a graph validation failure, but continue to process other modules.
Make the verification test slightly saner.
Merge pull request #163 from cgruber/compiletimecheckcirculardeps

Add cycle detection at compile-time using the problem detector, plus test.