Tidy docstring.
Tidy docstring.
Tidy docstring and fix a few pylint warnings.
Check various int params for positivity.

Not non-negativity.
Add option for no. of threads used by quantifiers.

Code for #18 (still needs documenting).