Test purposes versus global settings

[pjljvandelaar]

Improve the documentation of TorXakis with respect to

• global settings
• test purposes

And in particular, how to combine them.
E.g. have large integers to detect overflow, yet only have small list by using a test purpose to restrict the list length (so don't have large Integers at those positions) .