All tests are changed to use `Catch' test framework.