Does Rust have some facility like LLVM's FileCheck? I would want to verify that volatile loads/stores are actually emitted and not optimized out, but I'm not sure how to do it.