Change formula for #sizeOfDynamicType(#array) #9372

Job	Run time
Version Bump	8s
Version Bump	8s
Code Quality Checks	1m 57s
Code Quality Checks	1m 57s
Unit Tests	1m 55s
Unit Tests	1m 55s
Build and Test KEVM concrete execution	18m 16s
Build and Test KEVM concrete execution	18m 16s
Build and Test KEVM proofs (test-prove-kprove, 45)	8m 56s
Build and Test KEVM proofs (test-prove-kprove, 45)	8m 56s
Profiling	2m 0s
Profiling	2m 0s
Build and Test KEVM proofs (test-prove-pyk, 180)	2h 1m 58s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 28m 8s
Nix (normal)	8m 12s
Nix (normal)	8m 12s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	54m 49s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	54m 49s
Nix (macos-13)	28m 7s
Nix (macos-13)	28m 7s
Nix (ARM64)	10s
Nix (ARM64)	11m 7s
	7h 50m 3s

Provide feedback