loci: rename ASSERT to LOCI_ASSERT

This was polluting the namespace.
loci: rewrite assertions

Assertion failure now calls abort() instead of dereferencing a null pointer.

The noreturn attribute is important for static analysis.
Merge into master from pull request #205:
loci: rework assertions for better static analysis (https://github.com/floodlight/loxigen/pull/205)