Rust

various improvements and fixes from the sca branch #790

Job	Run time
Unit Tests (stable)	1m 0s
Test E-Graph Rewrite Condition Synthesizer (stable)	1m 7s
Test Simulator Tool (stable)	2m 55s
Check Semantic Versioning of Patronus	23s
Test BMC Tool (stable, bitwuzla)	1m 13s
Check Formatting	8s
Test BMC Tool (stable, yices2)	55s
Test SMT Simplifier (stable)	45s
Test Python Bindings (stable, 3.10)	1m 3s
	9m 29s

Provide feedback