mktemp seems to also be available on macOS -- though without `--suffix`.

move test suite out of theories/ so it does not get installed; also check output of test suite so that we can test printing