Add two simulation files for rust example code

[InfiniteEchoes]

I created a more suitable place to put these files

[clarus]

We are currently changing the way we do proofs to be able to handle larger Rust codebases. So we will do these simulations later. A current prospect for updates is #552