Lobsters: Hardening Rust Code For Production