Symex resource monitoring: per-function step counts, memory, callgrind output, and live progress display#8903

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

tautschnig:feature/resource-monitoringtautschnig/cbmc:feature/resource-monitoringCopy head branch name to clipboard