updated xor_swap_rust example to use the Rust type in the SAW script
updated xor_swap_rust example to use the Rust type in the SAW script

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script