Adapt the tutorial examples to use new `sanity_function` built-in

[vkarak]

I'd suggest to remove the not so natural redirection to hello.out and go for the sanity function. We don't even need to mention anything about the pipeline now.

[jjotero]

Should we kill 2 birds with 1 stone and update this after the performance syntax is also in?