Update StaticAnalysisChapter.md

Added a lot of new explanation. Made some edits. The formatting on the lists is bad, but this probably isn't the time to fight with it.

I'm not sure what to do for the conclusion (i.e. what the interface should look like).