HF audit zkApp tutorials: verify and run through code for Tutorial 9: Recursion

[barriebyron]

this issue verifies that the code successfully runs, per Definition of Done (DoD)

When the doc was approved, @ymekuria wisely noted that we need to verify the code https://github.com/o1-labs/docs2/pull/625#pullrequestreview-1662788204