Fixed broken markdown bulleted list in introduction (indented sublist)
Replaced a missing document link (from the original source of this documentation) with a full sentence explaining the relation of assert() to static analysis.
Typographic fixes
Replaced single and double straight quotes with smart quotes only where appropriate
Replaced three periods with ellipses where appropriate
assert()to static analysis.