copilot-verifier - support for latest crux-llvm package

[strikef]

In AArch64 environment, copilot verifier fails to run due to an error raised from llvm-pretty-bc-parser package.
See here for more details.

This has been fixed in the latest version (0.5.1.0) of llvm-pretty-bc-parser, and crux-llvm package has been updated (0.10~) to use the latest release as well.
However, since the copilot-verifier does not allow the latest crux-llvm as dependency (0.9 ~ 0.10), I cannot build the verifier with the latest packages and thus cannot proceed to verification.

Is there any plan to bump the dependency versions?

[ivanperez-keera]

Hi.

Tbd.

We are hitting other issues related to the release of crucible-related packages that came out around that time. See: #708