Run tests on CI

[Zaharid]

We need to do the following:

• Create a low precision theory with a limited number of experiments (e.g. ~2), that is suitable to download in a test environment.
• Merge all python tests somewhere, possible under the validphys repo.
• Have the validphys examples use only the low precision theory and make them run as part of the test suite.
• Optionally, have a working make test that runs everything assuming that the code is installed.
• Execute the tests in the CI, possibly using coda build. We need to declare extra test dependencies such as pytest and hypothesis.
• Optionally, or later on, enable coverage reports for both python (with coverage) and cpp (with whatever the tool is called) and find a way to upload them somewhere (e.g. using vp-upload or somesuch).