Update Nova+CycleFold circuit diagram with the missing link to H(U_i^*) and H(U_{i+1}^*) that @winderica found missing (https://github.com/privacy-scaling-explorations/sonobe/pull/84)