Rewrite arbitrary test case in Model Based Testing style

Ref: https://fast-check.dev/docs/advanced/model-based-testing/

Pros:

• Easier to understand what is being done (arguably)
• Easier to extend (just add a new command)

Cons:

• More verbose.
• Almost twice as slow.
• Does not really fit the use case (e.g. might generate trailing EagerIfs or LazyIfs that are never asserted).