MIR: Add a runner to run tests in Tzt format

Context

Adds a binary crate that implements a CLI to run a Tzt test via the typechecker and interpreter.

Right now the functionality is pretty minimal. Just enough to implement both of the validation procedures described in #6408 (closed), ie running the add_int-int_00.tzt and amount_00.tzt tests.

Resolves: #6408 (closed)

Stacked on !10305 (merged).

Manually testing the MR

Use the following cargo command:

cargo run --bin tzt_runner <path/to/test1.tzt>

Any number of test file paths can be provided as arguments following the first one.

Expected output:

If the test was successful, something like the following would be printed.

cargo run --bin tzt_runner add_int-int_00.tzt add_nat-nat_00.tzt

Running add_int-int_00.tzt : Ok
Running add_nat-nat_00.tzt : Ok