pylint cleanup of sv_verifier.py