update the range of the LLVM versions that work with C-Reduce