From inspection, I believe that on master we can only call reopenBucket on a compressed bucket. Some conditions within this function  (here ,  here) can be simplified to reflect this. We can probably also invariant on this check being true.