Sanity checks on node pointers, updates