Maximum strictness

Fixed things up so that everything is compatible with maximum
compilation strictness. Also added some debug wrappers for malloc() and
free(). Also updated to c11.