Write assertions to accurately reflect state of database.