ci: Quick-fix ci_verify_cmake.sh

Avoid using `cmake --option=value` and `ctest --option=value`, to stay
compatible with older versions of CMake.
1 file changed