A much more efficient approach avoids resampling variables that would result in violations without visiting each of them individually.
to ensure detailed balanced is maintained, the order that we resample bispans has to match the order we would sample them using any exhaustive approach.