Add extra regexes to object_bits tests

To make it clear that 2 successes and one failure are expected.

Author: thomasspriggs

regression/goto-cc-cbmc-shared-options/object-bits/default_bits.desc

@@ -4,7 +4,9 @@ test.c
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+assertion object_bits != 6: SUCCESS
 assertion object_bits != 8: FAILURE
+assertion object_bits != 10: SUCCESS
 --
 ^warning: ignoring
 --

regression/goto-cc-cbmc-shared-options/object-bits/fewer_bits.desc

@@ -5,6 +5,8 @@ test.c
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 assertion object_bits != 6: FAILURE
+assertion object_bits != 8: SUCCESS
+assertion object_bits != 10: SUCCESS
 --
 ^warning: ignoring
 --

regression/goto-cc-cbmc-shared-options/object-bits/more_bits.desc

@@ -4,6 +4,8 @@ test.c
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+assertion object_bits != 6: SUCCESS
+assertion object_bits != 8: SUCCESS
 assertion object_bits != 10: FAILURE
 --
 ^warning: ignoring