Refactor convert_expr_to_smt tests

This refactor of the tests -
* Avoids adding a test overload of `convert_expr_to_smt`. This helps
make the interface to the conversion less ambiguous when reading the
tests.
* Helps ensure that the test environment setup/configuration is
standardised between tests and correctly carried out for all tests.

Author: thomasspriggs