Remove len term from upsweep read permissions.
Uniform enabledness invariants for upsweep
Reduce upsweep read permissions from log^2 reads to log reads.