Create test generation strategies as in the Artemis article

[budde377]

Implement cov and all from the Artemis article and add them to Artemis options. These strategies should also be used in the old benchmarks.