Enhance fuzzer's ArrayModelProvider

[volivan239]

Description

Currently, ArrayModelProvider generates only empty array and an array with 10 default elements as models. There are many possibilities of generating more meaningful and interesting models.

Expected behavior

We can construct small arrays and fill them with fuzzed values. We can obtain their sizes from ConstantsFinder.

Context

Same ideas could be used in different collections, but currently it is difficult to support them due to type erasing.