Rust

sca: more debugging #777

Job	Run time
Test E-Graph Rewrite Condition Synthesizer (stable)	1m 16s
Test BMC Tool (stable, bitwuzla)	58s
Test BMC Tool (stable, yices2)	1m 5s
Unit Tests (stable)	5m 16s
Check Formatting	6s
Check Semantic Versioning of Patronus	32s
Test Python Bindings (stable, 3.10)	1m 1s
Test SMT Simplifier (stable)	36s
Test Simulator Tool (stable)	2m 52s
	13m 42s

Provide feedback