Tests for Prax.run and stop, plus test refactoring.