Rust

interpreter: fix waveform dumping #700

Job	Run time
Test Simulator Tool (stable)	2m 49s
Unit Tests (stable)	59s
Test BMC Tool (stable, yices2)	58s
Check Semantic Versioning of Patronus	27s
Test BMC Tool (stable, bitwuzla)	2m 31s
Test E-Graph Rewrite Condition Synthesizer (stable)	1m 9s
Check Formatting	7s
Test SMT Simplifier (stable)	36s
	9m 36s

Provide feedback