Clean up commented asserts

They are not too useful for debugging, and they don't express any
useful invariants either.