KASSERTs for vnode.c