Change formula for #sizeOfDynamicType(#array) #9358

Job	Run time
Version Bump	6s
Code Quality Checks	1m 54s
Profiling	2m 9s
Build and Test KEVM concrete execution	16m 31s
Build and Test KEVM proofs (test-prove-kprove, 45)	11m 16s
Unit Tests	1m 55s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 12m 14s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 35m 12s
Nix (normal)	10m 2s
Nix (macos-13)	31m 31s
Nix (ARM64)	5m 43s
	4h 8m 33s

Provide feedback