Fix profiling: use --verbosity 8 instead of 10#8977

tautschnig merged 2 commits into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:profiling-verbositytautschnig/cbmc:profiling-verbosityCopy head branch name to clipboard