Rust Engine: drop unused when backends are not dummy any longer

See https://github.com/cryspen/hax/pull/1603#discussion_r2291183106
The need for unused will go away as the Lean backend is updated (#1607)