Verifies that problems objects are created and deleted properly when the model is being updated in various ways.