Port interpreter improvements

[peterschrammel]

from test-gen-support into master instead of trying to fix the interpreter in master.
Many issues have already been solved in test-gen-support.

[thomasspriggs]

I don't think there is currently sufficient interest in porting work from test gen to CBMC for time to be spent on this. Therefore I am going to close out this ticket rather than leaving it permanently unresolved.