Lecture Notes on Verifying Graph Neural Networks