Randomized testing of Tact parser/pretty-printer

[anton-trunov]

We generate random Tact ASTs and test the following property:

• pretty-printed AST when parsed should provide the original AST.

One more property would be nice to test:

• the pretty-printer produces text with the minimum possible parentheses.