Segfaults on arm64 macOS

While debugging an unrelated issue, I noticed that the default build-from-source instructions cause a lot of the EVM tests to segfault on my new arm64 mac.

This is in fact something that's been identified previously in the smoke-testing script for KEVM: https://github.com/runtimeverification/evm-semantics/blob/cd2e87a339cfa9d7046a519d86b7b044a1c63346/package/test-package.sh#L25-L32

The underlying issue is actually in upstream LLVM; I fixed it with a patch to LLVM that landed in LLVM 17. Unfortunately, we are currently blocked on making LLVM 17 available to Nix builds of K: https://github.com/runtimeverification/llvm-backend/pull/927. As a workaround, you can build K from source against LLVM 17 using Homebrew and point the KEVM build system at that K installation.

There isn't a fix for this issue as such; it will be resolved once Nix-built K can use LLVM 17.

Start with the default build-from-source instructions and package/test-package.sh lines 25–32, then review the linked LLVM issue and llvm-backend pull request. There is no repository fix described; the issue is done when Nix-built K can use LLVM 17 and the arm64 macOS EVM tests no longer segfault.