copilot-verifier - support for latest crux-llvm package #710

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?