Test that a double free is noticed.