MIR: TZT for factorial

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

Add a TZT test for the factorial function in Michelson.

Preferably with a LOOP instead of a LAMBDA_REC, because the former seems easier to support in an interpreter.

Validation: the extracted Michelson code of the TZT test must result in the specified output when executed with octez-client run script on the specified input.