Make all assert()ions in alloc.c