changes to the check argument in matroid_from_matrix_columns

[Sequenzer]

I added documentation for the matroid_from_matrix_columns check flag.

Internally i removed the default behaviour of the function to check the selected set of bases if they satisfy the bases axioms. Now it simply never checks the arguments, as I believe they are fulfilled by construction.

The current implementation makes this function unusable for larger matrices. Especially since the check flag isn't documented.

@benlorenz suggested keeping the check argument for consistency, even though it's not used.

This was an issue raised by @dcorey2814.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.50%. Comparing base (24711ee) to head (2ac3297).
Report is 7 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4287   +/-   ##
=======================================
  Coverage   84.49%   84.50%           
=======================================
  Files         641      641           
  Lines       85476    85488   +12     
=======================================
+ Hits        72226    72238   +12     
  Misses      13250    13250           

Files with missing lines	Coverage Δ
src/Combinatorics/Matroids/matroids.jl	98.80% <100.00%> (ø)

... and 1 file with indirect coverage changes