port over proptests to hegel (#16)

`proptest::sample::Index` is quite terrible. Hegel uses Hypothesis underneath which is a much nicer experience.

Author: sunshowers

.claude/.gitignore

@@ -0,0 +1 @@
+/settings.local.json

.claude/settings.local.json .claude/settings.json.claude/settings.local.json renamed to .claude/settings.json

@@ -4,9 +4,10 @@
       "Bash(cargo test)",
       "Bash(cargo test:*)",
       "Bash(cargo clippy:*)",
-      "Bash(cargo fix:*)"
+      "Bash(cargo fix:*)",
+      "Bash(cargo check:*)"
     ],
     "deny": [],
     "ask": []
   }
-}
+}

.github/workflows/ci.yml

@@ -16,6 +16,8 @@ jobs:
       RUSTFLAGS: -D warnings
     steps:
       - uses: actions/checkout@v3
+        with:
+          persist-credentials: false
       - uses: dtolnay/rust-toolchain@stable
         with:
           components: rustfmt, clippy
@@ -55,22 +57,26 @@ jobs:
       RUSTFLAGS: -D warnings
     steps:
       - uses: actions/checkout@v3
+        with:
+          persist-credentials: false
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: ${{ matrix.rust-version }}
           components: rustfmt, clippy
       - uses: taiki-e/install-action@cargo-hack
+      - name: Install uv
+        uses: astral-sh/setup-uv@v7
       - uses: Swatinem/rust-cache@v2
       - name: Build
         run: |
           cargo hack build --feature-powerset
       - name: Test
         # Dev dependencies have an MSRV > 1.70.
-        if: ${{ matrix.rust-version.version == 'stable' }}
+        if: ${{ matrix.rust-version == 'stable' }}
         run: cargo hack test --feature-powerset
       - name: Test with updated Cargo.lock
         # Dev dependencies have an MSRV > 1.70.
-        if: ${{ matrix.rust-version.version == 'stable' }}
+        if: ${{ matrix.rust-version == 'stable' }}
         run: |
           cargo update
           cargo hack test --feature-powerset

.github/workflows/coverage.yml

@@ -20,13 +20,17 @@ jobs:
       RUSTFLAGS: -D warnings
     steps:
       - uses: actions/checkout@v3
+        with:
+          persist-credentials: false
       - uses: dtolnay/rust-toolchain@stable
         with:
           components: llvm-tools-preview
       - uses: Swatinem/rust-cache@v2
 
       - name: Install latest nextest release
         uses: taiki-e/install-action@nextest
+      - name: Install uv
+        uses: astral-sh/setup-uv@v7
       - name: Install cargo-llvm-cov
         uses: taiki-e/install-action@cargo-llvm-cov
       - name: Update Cargo.lock

.github/workflows/docs.yml

@@ -12,6 +12,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
+        with:
+          persist-credentials: false
       - uses: dtolnay/rust-toolchain@stable
       - name: Update Cargo.lock
         run: cargo update

.gitignore

@@ -1,2 +1,2 @@
 /target
-# Cargo.lock is checked in to support older Rust versions
+/.hegel