Fix taint instrumenter handling array initalisers

Previously array initialisers, having the form { .java.lang.Object = ..., .length = N, ... }
were mistaken for user classes, which would have taint fields suffixed instead of a new
subclass being created. They are now annotated to differentiate them from user classes and
handled like primitive type wrappers like they should be.

Author: smowton

src/util/irep_ids.def

@@ -845,6 +845,7 @@ IREP_ID_ONE(havoc_object)
 IREP_ID_TWO(overflow_shl, overflow-shl)
 IREP_ID_ONE(lvsa_evs_type)
 IREP_ID_ONE(is_initializer)
+IREP_ID_TWO(C_is_taint_wrapper_type, #is_taint_wrapper_type)
 
 #undef IREP_ID_ONE
 #undef IREP_ID_TWO