Find a better way to build random valid block permutations from 'move down' operations

spirv-fuzz has a 'move block down' transformation that can be used to encode arbitrary permutations of blocks in a function. Right now, permutations are built in a fairly simple way via combinations of this operation, but there is likely a smarter way to generate more interesting permutations at random.