renaming verification checks and version kimspecs