Removed Spanner.leaves property.

Developers may use the private Spanner._leaves property instead.