Add factorial example
Crank up default max-steps value

In order to run the factorial example.