feat: flatten wrapped array elements

[brandtnewton]

adds a new SMT for flattening a wrapped array. This is not feasible with the default SMTs.

Example:

{
...
  "products": {
     "list": [
        {
            "element": {
                 "name": "ball",
                 "quantity": 2
            }
        }
     ]
  }
}

to

{
...
  "products":  [
     {
         "name": "ball",
         "quantity": 
     }
  ]
}