crux-llvm 0.8

1 Reverse dep Accepted versions
copilot-verifier ==0.8.*