MIR: prototype interpreter

Answers the following item of %(2023Q3) MIR: prototype:

Implement a Michelson interpreter in Rust that successfully executes the Michelson code of the factorial example.

This can be done with the following steps, and borrowing as much code as possible from Tezos-on-Tezos (if it speeds up development).

!10017 (merged):

• Implement the basic architecture of the interpreter, possibly using the result of the type-checking step.
• Add support in the interpreter for the instructions appearing in the factorial example.
• Document how to compile and run the interpreter on a Michelson script.
  • This is done directly by adding a Rust function in-code.

Validation: the extracted Michelson code of the TZT factorial must give the expected result when executed with the MIR interpreter on an input provided by the user.