Uncommented a lot of unneeded loop invariants.