[Code Suggestion] Loop inspections

[kuhlenh]

There are several things that can go awry in loops:

• counters or loop control variables may never be changed/updated inside the loop
• infinite loops in do, while, for
• redundancy

[CyrusNajmabadi]

@mavasani should this move to roslyn-analyzers?