CreuSAT: Using Rust and Creusot to create the world's fastest deductively verified SAT solver