Support Generative Test Generation

[DavePearce]

At the moment, test generation works by generating all combinations of columns and then filters them into the "accepts" and the "rejects". A better solution might be (in some cases at least) to describe how to generate valid traces for given input / output values. The benefit of this is that it would make it easier to generate valid traces, whilst still making it possible to distinguish value from invalid traces.