Revert "Teach count_exhausted_search to optionally use the expected_correct"
Revert "Teach count_exhausted_search to optionally use the expected_correct"

This reverts commit 41fe166dbe5b05fb5ea9b7b5c1c6e1eadd8d813e.
We'll put this functionality in a separate script.

symbooglix/boogie-runner,symbooglix/boogie-runner