Emit suggestions and an explanation when CBMC runs out of memory (#2885) #5696

Job	Run time
benchcomp-tests	4m 47s
bookrunner	16m 32s
perf	28m 58s
regression (macos-12)	41m 12s
write-json-symtab-regression	11m 22s
regression (ubuntu-20.04)	20m 35s
regression (ubuntu-22.04)	22m 20s
	2h 25m 46s

Provide feedback