Various memory modeling improvements

[sifislag]

Various small improvements to the memory modeling. Had not merged because of a small regression in ConstArray_Contents that I recently fixed.

• Increase completeness of Array_ElementLength.
• Add new case to ArrayCopy.
• Model new array allocation patterns.
• Model CREATE, CREATE2. Find writes to them.

Diff in 1022 ir contracts:

ANALYTIC: Analytics_NonModeledMSTORE
jun23-mem-ir-master (common): 96297 (+1.117%)
jun23-mem-ir-mem (common): 95233

ANALYTIC: Analytics_NonModeledMLOAD
jun23-mem-ir-master (common): 61574 (+2.408%)
jun23-mem-ir-mem (common): 60126

ANALYTIC: Analytics_PublicFunctionArg
jun23-mem-ir-master (common): 32337 (-6.313%)
jun23-mem-ir-mem (common): 34516

ANALYTIC: Analytics_PublicFunctionArrayArg
jun23-mem-ir-master (common): 4946 (-10.43%)
jun23-mem-ir-mem (common): 5522

[github-actions[bot]]

Test Results (Souffle 2.4)

42 tests  ±0   42 :heavy_check_mark: ±0   20m 14s :stopwatch: +27s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 3973e363. ± Comparison against base commit 61ef3dad.

[github-actions[bot]]

Test Results (Souffle 2.3)

42 tests  ±0   42 :heavy_check_mark: ±0   22m 59s :stopwatch: + 5m 9s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 3973e363. ± Comparison against base commit 61ef3dad.