These tests should be added in if they can be run fast enough, so that we can test for this on pull requests