Annotate a zillion test functions with -> None (#1393)

This is part of a gradual effort to make our tests type checkable, which will help catch bugs.