Add some more correctness assertions to free().