Unit tests for all the *Invalidate* annotations.