The only benefit I can think of is that it's useful to people subclassing `Verify` in case they need access to these for whatever reason. I don't think it hurts us enough to bother taking it out at this point. Do you agree?