feat(docs): integrate recursive verification tutorial into docs/examples

feat(docs): integrate recursive verification tutorial into docs/examples #7227