`crux-llvm-0.10` has been released on Hackage. We should update `copilot-verifier` to be able to build against it.
crux-llvm-0.10has been released on Hackage. We should updatecopilot-verifierto be able to build against it.