Add verify_aoj_solved script