Memory modeling

[sifislag]

This PR includes various improvements to the memory modeling:

• fix array allocation patterns with ambiguous element length inferences
• Better support for calls with externally provided calldata

It also includes changes that are not fully utilized yet:

• Refactor function inliner to more reusable components
• Implement function cloner component (untested for now)
• Add global client context sensitivity, to be used in the memory modeling.

[github-actions[bot]]

Test Results (Souffle 2.3)

43 tests  ±0   43 :heavy_check_mark: ±0   21m 34s :stopwatch: + 2m 32s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 16058d9b. ± Comparison against base commit c5bce4d3.

[github-actions[bot]]

Test Results (Souffle 2.4)

43 tests  ±0   43 :heavy_check_mark: ±0   28m 6s :stopwatch: + 4m 51s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 16058d9b. ± Comparison against base commit c5bce4d3.