Running verify instead of integration tests