Performance issue with in incremental smt2 decision procedure

`2` CBMC regression tests:

 - cbmc/address_space_size_limit1/test.desc
 - cbmc/address_space_size_limit3/test.desc

are successfully passing, but take much longer than the old SAT backend.

For this reason they are currently excluded from the default regression tests suite.
