fix: forcefully assign symbolic values in large graphs for tract #3204

Job	Run time
build	4m 51s
build	4m 51s
model-serialization	3m 43s
model-serialization	3m 43s
library-tests	8m 22s
library-tests	8m 22s
ultra-overflow-tests	46m 43s
ultra-overflow-tests	46m 43s
docs	4m 10s
docs	4m 10s
ultra-overflow-tests_og-lookup	28m 37s
ultra-overflow-tests_og-lookup	28m 37s
ultra-overflow-tests-gpu	1h 16m 14s
ultra-overflow-tests-gpu	1h 16m 14s
wasm32-tests	5m 48s
wasm32-tests	5m 48s
accuracy-measurement-tests	8m 10s
accuracy-measurement-tests	8m 10s
mock-proving-tests	50m 45s
mock-proving-tests	50m 45s
prove-and-verify-aggr-tests-gpu	59m 49s
prove-and-verify-aggr-tests-gpu	59m 49s
prove-and-verify-tests-gpu	59m 33s
prove-and-verify-tests-gpu	59m 33s
python-integration-tests	4h 9m 45s
python-integration-tests	2h 49m 38s
prove-and-verify-tests	49m 58s
prove-and-verify-tests	49m 58s
prove-and-verify-evm-tests	1h 26m 47s
prove-and-verify-evm-tests	1h 26m 47s
examples	4m 12s
examples	4m 12s
prove-and-verify-mock-aggr-tests	3m 54s
prove-and-verify-mock-aggr-tests	3m 54s
python-tests	14m 15s
python-tests	14m 15s
tutorial	10m 6s
tutorial	10m 6s
prove-and-verify-aggr-tests	1s
prove-and-verify-aggr-tests	57m 48s
prove-and-verify-aggr-evm-tests	1s
prove-and-verify-aggr-evm-tests	1h 10m 31s
fuzz-tests	12m 46s
fuzz-tests	12m 46s
	1d 3h 5m 10s

Provide feedback