docs, tests, benchmarks: improve trustworthiness and usability (#44)

* docs, tests, benchmarks: improve trustworthiness and usability

Soundness & documentation:
- Add protocol documentation to prover and verifier modules
- Add full soundness argument to verifier with notation, per-component
  bounds (FRI, constraint folding, OOD, lookup, Fiat-Shamir), and overall
  soundness error formula
- Annotate each verification step with inline soundness comments
- Add security parameter docs to FriParameters
- Document unused InvalidClaim variant

Testing:
- Replace ignored 2^20-row benchmark test with fast 2^4-row test
  including serialization round-trip
- Add adversarial verifier tests: wrong claim, tampered stage-1 values,
  tampered accumulator, truncated proof, serialization round-trip
- Trim blake3 test_all_claims from 9 redundant runs to 6 minimal ones
- CI: run tests with --features parallel, add --all-features to clippy

Benchmarks & examples:
- Add Criterion benchmarks (prove/verify)
- Add examples: simple_proof (no lookups), preprocessed_proof (preprocessed
  trace with lookups), and lookup_proof (multi-circuit)

Repo cleanup:
- Rename chips/ to test_circuits/, move Blake3 helpers into blake3.rs
- Drop the "chip" terminology elsewhere
- Gate test_circuits module with #[cfg(test)]
- Add .cargo/config.toml with target-cpu=native
- Rewrite README with crypto setup, quick start, and soundness reference

* fixed table alignment on README.md

---------

Co-authored-by: Gabriel Barreto <gabriel.aquino.barreto@gmail.com>

Author: arthurpaulino

.cargo/config.toml

@@ -0,0 +1,2 @@
+[build]
+rustflags = ["-Ctarget-cpu=native"]

.github/workflows/ci.yml

@@ -25,7 +25,7 @@ jobs:
       - uses: Swatinem/rust-cache@v2
       - name: Linux Tests
         run: |
-          cargo nextest run --profile ci --cargo-profile dev-ci --workspace
+          cargo nextest run --profile ci --cargo-profile dev-ci --workspace --features parallel
 
   lints:
     runs-on: ubuntu-latest
@@ -42,7 +42,7 @@ jobs:
       - name: Check *everything* compiles
         run: cargo check --all-targets --all-features --workspace
       - name: Check clippy lints
-        run: cargo clippy --workspace --all-targets -- -D warnings
+        run: cargo clippy --workspace --all-targets --all-features -- -D warnings
       - name: Doctests
         run: cargo test --doc --workspace
       - name: Get Rust version