Make sure our .may_includes files describe a noncircular dependency structure

As we use the checkIncludes.py mechanism more, we'll need to make sure that we don't unintentionally introduce any circular dependencies into our structure.