Coverage support

[ndkoval]

Let's add some coverage support to the model-checking mode. This will provide the coverage metric and allow us to analyze which code branches were not executed, thus potentially helping us to improve test generation.

Subtasks:

• Integrate Coverage and Lincheck's bytecode transformers:
  • apply Lincheck transformer after coverage transformer (otherwise the coverage may incorretly report branches introduced by Lincheck transformer);
  • do not instrument by Lincheck's transformer field accesses and methods injected by the coverage transformer.
• Add coverage metrics checks in our CI pipeline