Remove unused reg_heap::clear(int R).
Update assertions about validity.