Tests that can potentially contribute to specification tests

It's mostly regression tests, i.e. tests that we put in place after QA found bugs were fixed.