Add allowCalls cheatcode

[palinatolmach]

Blocked on: runtimeverification/kontrol-cheatcodes#19.
Closes #923.

This PR introduces a new cheatcode allowCalls(address, bytes calldata) that allows whitelisting calls to a specific address with specific calldata. The PR:

• changes the <addressList> cell to <allowedCallsList> in <whitelist>
• adds a CallToAddress production to facilitate representing whitelisted { address | calldata } pairs
• modifies allowCallsToAddress(address) so it adds the following element to the list, * representing any possible calldata: ListItem({ALLOWEDACCOUNT|b"*"})
• modifies the foundry.catchNonWhitelistedCalls rule so it gets applied before a call if the whitelist has been enable (it did not previously)
• adds a rule for processing new allowCalls cheatcode
• adds new tests for allowCalls and enables auxiliary-lemmas in end-to-end tests

Additionally, it

• adjusts existing tests for allowCallsToAddress(address) so they only check whether allowCallsToAddress is working
• reduces the number of parallel processes in end-to-end tests from 8 to 6, since it frequently fails with OOM (we had to make a similar change in integration tests earlier)
• adds end-to-end tests to the expected output update job
• adds printing diffs if expected output comparison fails

In addition, this PR adds the simplifications required for checking List membership to the auxiliary Kontrol lemmas file. These lemmas are to be upstreamed to the K repo.

TODO: update expected output

[lucasmt]

Cheatcode seems to be working on our test. Lisandra is just running some further checks but I think we should be fine to get this merged once we get around the CI issues.

[lucasmt]

LGTM