Add csa_assert macro.

Just like the normal assert, however it's only enabled when running
in the clang static analyzer. Can be used to guide static analysis
in case of false positives.