Remove dynamic_cast from hardness collection code paths#8423

tautschnig wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:hardness-no-dynamic_casttautschnig/cbmc:hardness-no-dynamic_castCopy head branch name to clipboard