Model values generated by first z3check are interdependent, need to show them by default

[dgpv]

And add a note to the report that tells if model values are independent of each other, or inderdependent

[dgpv]

Right now model values can show, for example, tx_num_inputs to be 100, but current_input to be 150.

Readme tells about this, that model values are generated independently. But we actually have a set of inter-dependent values generated from first call to z3check(), and in this set current_input will always be < tx_num_inputs. But because the values are sorted, these set of inder-dependent values is usually hidden.

The set of inter-dependent values is useful information, so we need a way to show them.