Currently, for checking tassert in dbtests, we need to manually decrement the tassert counter, otherwise the testing proctor throws the following error.

Ideally, we'd want a better way to test this.