Fix: a minor tail call optimization bug (introduced during adding support for framed block);
Add: test case for tail call optimization;
Fix: a few minor version numbering errors in the help files.