Test that the formula printer and parser are quasi-inverse

We should write a property-based test testing whether the formula printer and parser are matching.

Keep in mind though that while parse (print f) = f should hold, print (parse s) = s will probably not hold and also is complicated to generate automatically.