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