SMG: add 'wreath' tests for colored circular doubly-linked lists

SMG: add 'wreath' tests for colored lists

Add a test for a circular doubly-linked list:

• with randomly colored elements;
• with red elements, and head is randomly shifted along the list;
• with green elements with random integers stored in allocated data region.

For randomly colored list, add two .yml: one with color compatibility check (expected false), and one without (ideally true, realistically timeout).