Add a note that Splinter tests no longer run in CI