perf/feature: new serialization format for constraint systems

.github/workflows/pr.yml

@@ -74,6 +74,7 @@ jobs:
         go test -json -v -p 4 -tags=release_checks,solccheck . 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
         go test -json -v -p 4 -tags=prover_checks ./test/... 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
         go test -json -v -p 4 -tags=prover_checks ./examples/... 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
+        go test -json -v -run=NONE -fuzz=FuzzIntcomp -fuzztime=30s ./internal/backend/ioutils 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log
 
     - name: Generate job summary
       id: generate-job-summary

.github/workflows/push.yml

@@ -80,6 +80,7 @@ jobs:
         go test -v -p 4 -tags=release_checks,solccheck .
         go test -v -p 4 -timeout=50m -tags=release_checks -race ./examples/cubic/...
         go test -v -p 4 -timeout=50m -tags=release_checks -short -race ./test/...
+        go test -v -run=NONE -fuzz=FuzzIntcomp -fuzztime=30s ./internal/backend/ioutils
 
 
   slack-workflow-status-failed: