Added the software verification tests to the relax GUI.
The verification tests can now be selected via the "Tools->Test suite->Verification tests" menu entry. Running the full test suite via the menus also now included the verification tests.
Authored by: bugman 2014-05-02
Parent: [r22910]
Child: [r22912]
