Investigate discrepancy between method ids

@paulslen ran into the following error

Traceback (most recent call last):
  File "/nix/store/wpgaak7ivg5502jhhkc6m5bjjbc1yylp-python3.10-kontrol-0.1.228/bin/.kontrol-wrapped", line 9, in <module>
    sys.exit(main())
  File "/nix/store/wpgaak7ivg5502jhhkc6m5bjjbc1yylp-python3.10-kontrol-0.1.228/lib/python3.10/site-packages/kontrol/__main__.py", line 94, in main
    execute(**vars(args))
  File "/nix/store/wpgaak7ivg5502jhhkc6m5bjjbc1yylp-python3.10-kontrol-0.1.228/lib/python3.10/site-packages/kontrol/__main__.py", line 200, in exec_build
    foundry_kompile(
  File "/nix/store/wpgaak7ivg5502jhhkc6m5bjjbc1yylp-python3.10-kontrol-0.1.228/lib/python3.10/site-packages/kontrol/kompile.py", line 76, in foundry_kompile
    _imports: dict[str, list[str]] = {contract.name_with_path: [] for contract in foundry.contracts.values()}
  File "/nix/store/s6fgyqbk8vn1014daznm5kqx90xdn86x-python3-3.10.13/lib/python3.10/functools.py", line 981, in __get__
    val = self.func(instance)
  File "/nix/store/wpgaak7ivg5502jhhkc6m5bjjbc1yylp-python3.10-kontrol-0.1.228/lib/python3.10/site-packages/kontrol/foundry.py", line 148, in contracts
    contract = Contract(contract_name, contract_json, foundry=True)
  File "/nix/store/wpgaak7ivg5502jhhkc6m5bjjbc1yylp-python3.10-kontrol-0.1.228/lib/python3.10/site-packages/kontrol/solc_to_k.py", line 654, in __init__
    method_selector: str = str(evm['methodIdentifiers'][msig])
KeyError: 'functionName(address,...,(...bool,uint128,uint128)[])'

when trying to run kontrol build in a project. It seems to be caused by the fact that functionName(address,...,(...bool,uint128,uint128)[]) is being looked up in evm['methodIdentifiers'], while it references this function as functionName(address,...,StructContract.StructName[]). At the same time, there is a test in Kontrol that uses an array of structs and is passing: https://github.com/runtimeverification/kontrol/blob/f2987383f7fea749b9cca43d66894a82ea3bca76/src/tests/integration/test-data/foundry/test/DynamicTypes.t.sol#L36

Start with kontrol/solc_to_k.py at the methodIdentifiers lookup reported in the traceback, then compare its signature handling with src/tests/integration/test-data/foundry/test/DynamicTypes.t.sol. Reproduce the kontrol build failure and trace why the struct-array signature differs; done means the reported project builds without the KeyError and the existing dynamic-types test remains passing.