Update Overture combinatorial testing to use VDMJ's iterators

[nickbattle]

Several important improvements were made in VDMJ-3.1.1 to allow traces to be expanded iteratively. This allows it to easily execute traces that expand to very large numbers of tests (a million or more). Although there are some lazy-evaluation improvements in Overture, these still significantly limit the size of traces that can be expanded.