makefile: Add -DNDEBUG to CPPFLAGS
funclub: Add a few runtime assertions
funclub: Add a few annotations