3/10: PASS: support for FINALLY steps
3/10: PASS: support for FINALLY steps

When a step sets '*stop = true', all the later steps at the current
depth are skipped. But sometimes we need to perform some cleanup.
Finally steps are always called.

nanocritical/n,nanocritical/n,nanocritical/n,nanocritical/n