eliminate assert from cuckoo.h, add posix flag, and minor refactoring
fix mutex initialization bug