Remove calculated test counts.

Where ever we were calculating the test count, we are not using the
`counter` function from `Proof` to increase the count of tests
as needed.

Closes #219.