testcases in concrete_driver examples includes check phase for linearity check coverage

[kenarab]

It can be checked in codecov we are now covering linearity_check.rs source file.

Linearity check algorithm can be aknowledged as completed when fn check_var_in_expr coverage of match statement is fully covered. It is expected to cover not with examples .con file, but manually building the conditions for coverage, as the current status of the parser is possible not to satisfy all conditions from a parsed source code.

[github-actions]

Benchmarking factorial

Compiling factorial (factorial.con)
Finished release in 30.30991ms
Running 5000000 iterations
Using input value: 20
Concrete Result = 2432902008176640000 Time taken : 59.31 ms
Rust Result = 2432902008176640000 Time taken : 60.03 ms

Benchmarking fib

Compiling fib (fib.con)
Finished release in 26.110517ms
Running 5000 iterations
Using input value: 20
Concrete Result = 6765 Time taken : 136.11 ms
Rust Result = 6765 Time taken : 85.35 ms

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 45.71429% with 19 lines in your changes missing coverage. Please review.

Project coverage is 60.13%. Comparing base (9575fbe) to head (5bc16e4).

Files	Patch %	Lines
crates/concrete_driver/src/lib.rs	0.00%	15 Missing ⚠️
crates/concrete_check/src/linearity_check.rs	78.94%	4 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #141      +/-   ##
==========================================
+ Coverage   54.57%   60.13%   +5.56%     
==========================================
  Files          27       27              
  Lines        5387     5381       -6     
==========================================
+ Hits         2940     3236     +296     
+ Misses       2447     2145     -302     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[kenarab]

I reopen the PR with an appealing/meaning branch, rather than a generic theme like in this PR