Add `ctest` option `-V`