Add -v option to find segfaulted tests on CI
Version bump