Generate recursion separator challenge properly

[lucasxia01]

We don't generate a recursion separator challenge in the Ultra Honk prover. We need to consider the Aztec connect bug that involved this challenge.