Automatic assertion instrumentation for LLVM bitcode