"verifies the execution of [..] any LLVM-compiled language" Why is it limited to LLVM-compiled languages? Wouldn't anything that compiles to RISC-V work? And

"verifies the execution of [..] any LLVM-compiled language" Why is it limited to LLVM-compiled languages? Wouldn't anything that compiles to RISC-V work? And since the LLVM bitcode format completely changes every time there's a new LLVM release, how does that work?