Feature request: --cover array

[martin-cs]

Can we have an additional coverage instrumentation that adds coverage goals for each possible entry of a fixed-size array when an instruction reads from the array:

int lookup [] = {0, 1, 2, 3, 4, 5, 6, 7};

int interpolate (int x) {
    int target = find_address(x);

    __CPROVER_cover(target == 0);
    __CPROVER_cover(target == 1);
    __CPROVER_cover(target == 2);
    __CPROVER_cover(target == 3);
    __CPROVER_cover(target == 4);
    __CPROVER_cover(target == 5);
    __CPROVER_cover(target == 6);
    __CPROVER_cover(target == 7);

    return computeValue(x, lookup[target]);
}

Requested by an industrial partner.

[TGWDB]

Closing due to detail in #6284