make verbose output optional, and move some cell stuff back to rtdata
add small test for provenance
add test for tail recursion
first implementation to fix tail recursion with provenance tracking...but doesn't seem to work, so need to debug further.
found the bugs, I'm pretty sure it all works now :)
Merge branch 'tails'