increased the sequence length in the cork/uncork proof to 16
@@ -91,7 +91,7 @@ exec : {n} (fin n) => [n][8] -> State
exec writers = foldl cork_transition (clientSender, uncorked) writers
// there is no uncorking or corking twice in a row
-noDoubleCorkUncork : [12][8] -> Bit
+noDoubleCorkUncork : [16][8] -> Bit
noDoubleCorkUncork writers = and (map corkingInBounds (run writers))
corkingInBounds : State -> Bit
