finish the documentation

this is an attempt at finishing the documentation for real.

the convention is

• start sentences with capital letter, speaks as 3rd person and end with period
• specify non-trivial cases and returns in the doc, otherwise, leave that to the tests
• use mathematical formulae to make things more clear

💡 Note

might supersede !184 (closed)

For now, i completely skipped FRI because i thought we could do that in a later MR, as it was added later and is not even part of a public release yet.

I also went a bit faster on aPlonK as it is so complex and we will likely never use it.

changelog

• 🗞 is for documentation changes
• ⚙ is for code changes

• (🗞) moves the RUSTDOCFLAGS for Katex activation to .cargo/config.toml
• (🗞) adds simple_mermaid for Mermaid graphs
• (🗞) upgrades Katex from 0.10.0 to 0.16.21 for matrix support
• documentation
  • (🗞) (⚙) algebra: check the length for algebra::powers_of
  • (🗞) (⚙) algebra::linalg: use exact matches in the error tests and use struct errors
  • (🗞) (⚙) error: change some errors to struct errors
  • (🗞) (⚙) fs: rename some arguments, e.g. block_hashes to hashes and dump_dir to directory
  • (🗞) (⚙) zk: inline check_degree_is_too_large
  • (🗞) fec
  • (🗞) semi_avid
  • (🗞) kzg
  • (🗞) (⚙) aplonk: remove Commitment and VerifierKey
  • (🗞) fri
  • (🗞) Komodo (lib.rs)