complete the FEC and "linear algebra" tests

• komodo::linalg::Matrix::random is tested
• komodo::linalg::Matrix::inverse is tested on more matrix sizes, from
  1
  to
  20
  random matrices
• komodo::field tests have been double-checked
• pure "recoding" tests from komodo::fec have been double-checked
• end_to_end and end_to_end_with_recoding now runs for
  k \in [3, 5]
  and
  \rho \in [\frac{1}{2}, \frac{1}{3}]
  with
  n = \lfloor \frac{k}{\rho} \rfloor
• all "
  k
  among
  n + t
  " combinations are tested with try_all_decoding_combinations, possibly with some removals in case recoding is involved with is_inside

❗ Important
on my machine, make test goes from less than 8sec on latest main to around 40sec with this MR

added 3 commits

• 40e19846 - add doc to `is_inside`
• 3d6d38d0 - rename `is_inside` to `contains_one_of` and swap args
• 382cd361 - rename `exclude` arg of `try...`

Compare with previous version

added 1 commit

• 3f25f16b - recode another shard

Compare with previous version

added 1 commit

• 9a3e963d - recode from a global spec

Compare with previous version

added 1 commit

• ba448984 - use expect

Compare with previous version

added 3 commits

• 15754fef - use vectors for any-size recoding steps
• c547cfbd - add missing "should not decode"
• 433139b4 - add flooding with duplicated shards

Compare with previous version

changed the description

added 1 commit

• 18d3f619 - make Clippy happy

Compare with previous version

added 1 commit

• 4c83cc44 - recode (n + 4) from (n + 3)

Compare with previous version

marked this merge request as ready

changed title from Draft: complete the tests to complete the FEC and "linear algebra" tests

merged

mentioned in commit 7b0eae24