Test run instructions

Those are the requirements for Nexus, in nexus folder

To prove execution, one needs to build one of the tests, let`s use simple_arithmetic_test as an example.

To generate a proof, run the following commands:

cd simple_arithmetic_test
cargo nexus prove