Add two tests.

These tests ensure that the graph stays in sync with the model by
continuously deleting elements in the model and checking the counts
against what is expected in the graph.