Using a Prophecy-Based Encoding of Rust Borrows in a Realistic Verification Tool