Convert unit tests to Catch framework and fix compilation issues#8760

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-879-convert-unit-teststautschnig/cbmc:fix-879-convert-unit-testsCopy head branch name to clipboard