feat: add sampled mul tests

.github/workflows/test.yml

@@ -15,7 +15,6 @@ jobs:
         test: [asm-bench,asm-racer,asm-util,asm-unit,corset-bench,corset-racer,corset-test,unit-test]
         field: [BLS12_377,KOALABEAR_16,GF_8209]
         exclude:
-          - { field: KOALABEAR_16, test: asm-bench }
           - { field: KOALABEAR_16, test: asm-racer }
           - { field: KOALABEAR_16, test: corset-racer }
           - { field: KOALABEAR_16, test: unit-test }
@@ -34,4 +33,6 @@ jobs:
           go-version: '>=1.24'
       - run: make ${{ matrix.test }}
         env:
+          GOMAXPROCS: 8
+          GOMEMLIMIT: 16GiB
           GOCORSET_FIELD: ${{ matrix.field }}

Makefile

@@ -29,11 +29,11 @@ asm-racer:
 
 asm-bench:
 	@echo ">>> Running Assembly Benchmark Tests..."
-	go test --timeout 0 -run "Test_AsmBench" ./...
+	go test -p 1 --timeout 0 -run "Test_AsmBench" ./...
 
 asm-util:
 	@echo ">>> Running Assembly Util Tests..."
-	go test --timeout 0 -run "Test_AsmUtil" ./...
+	go test -p 1 --timeout 0 -run "Test_AsmUtil" ./...
 
 asm-unit:
 	@echo ">>> Running Assembly Unit Tests..."
@@ -49,7 +49,7 @@ corset-racer:
 
 corset-bench:
 	@echo ">>> Running Corset Benchmark Tests..."
-	go test --timeout 0 -run "Test_Bench" ./...
+	go test -p 1 --timeout 0 -run "Test_Bench" ./...
 
 unit-test:
 	@echo ">>> Running Unit Tests..."

pkg/test/util/check_valid.go

@@ -58,13 +58,6 @@ const CORSET_MAX_PADDING uint = 7
 // in separate runners.
 var FIELD_REGEX *regexp.Regexp
 
-// Check that all traces which we expect to be accepted are accepted by a given
-// set of constraints, and all traces that we expect to be rejected are
-// rejected.  A default field is used for these tests (BLS12_377)
-func Check(t *testing.T, stdlib bool, test string) {
-	CheckWithFields(t, stdlib, test, CORSET_MAX_PADDING, field.BLS12_377)
-}
-
 // CheckCorset checks that all traces which we expect to be accepted are
 // accepted by a given set of constraints, and all traces that we expect to be
 // rejected are rejected.  All fields provided are tested against, and also all