[CN] Syntax for configuring testing on a per-function and/or per-predicate basis

[ZippeyKeys12]

CN-Test-Gen currently has many CLI options for tuning the input generators and tests. However, many of these options make more sense on a per-function or per-predicate basis, than on a per-file basis.

For some simple examples of test options, one might want a particularly important function to be tested with more or larger inputs. Instead of wanting a certain number of inputs, one might also want to test a function for a certain amount of time.

The way our input generators are derived, they correspond to either a predicate or specification. So all options for tuning the generators would be useful to be able to control per-specification and per-predicate.

For functions, one could add tested {...}, similar to trusted, where a record is given containing the options. Not sure what the per-predicate version would look like.

[bcpierce00]

Relatedly, we might want to consider introducing syntax for recording individual (generated or hand-written) tests as unit tests.

[yav]

While we think about this, we may want to consider ways to specify some of these things in a separate file (in addition to some inline notation).

The benefit of specifying things in an external file is that the code is not cluttered with meta data, and you get the ability to have multiple settings for the same code (e.g., "quick test" to do during development vs "long test" that you do during CI)