occasionally prove the correct execution of the TASM snippets

[jan-ferdinand]

Writing a bunch of TASM gives us the opportunity to test Triton VM more rigorously. I suggest to write tests that are

• ignored by default, but
• run occassionally
  where all TASM snippets are thrown into Triton VM and their correct execution proven.

[Sword-Smith]

We could do this with an environment variable, only running the prover and verifier when a specific environment variable was set.

[jan-ferdinand]

It's possible to stay entirely within the rust ecosystem. Properly named tests, .e.g., tests including the substring prove_verify in their name, adding the #[ignore] tag to those tests, and then occasionally running cargo test prove_verify --ignored does the trick.

What's harder to decide is what “occasionally” means, who's responsibility it is to run those tests on schedule (if there is one), et cetera.