Switch on existing tests fixed by adding dynamic size support

Author: thomasspriggs

regression/cbmc/Malloc11/slice-formula.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend new-smt-backend
+CORE new-smt-backend
 main.c
 --pointer-check --slice-formula
 ^EXIT=0$

regression/cbmc/Malloc11/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend new-smt-backend
+CORE new-smt-backend
 main.c
 --pointer-check
 ^EXIT=0$

regression/cbmc/pointer-predicates/at_bounds1.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend new-smt-backend
+CORE new-smt-backend
 at_bounds1.c
 --pointer-primitive-check --malloc-fail-null
 ^\[main.pointer_primitives.\d+\] line 13 pointer outside object bounds in R_OK\(q \+ (\(signed (long (long )?)?int\))?1, (\(unsigned (long (long )?)?int\))?0\): FAILURE$

regression/cbmc/simplify-array-size/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --malloc-may-fail --malloc-fail-null
 ^VERIFICATION SUCCESSFUL$