Public inputs in HN recursion constraints

[federicobarbacovi]

In HN recursion constraint we enforce equality between the public inputs of a proof in the queue entry and the public inputs coming from the constraints. However, it looks like HN recursion constraints constructed by Noir always have empty public inputs. If this is the case, that code is not needed and could be either removed or replaced with an assertion in case we want to protect against public inputs coming from Noir at a later point.

[ledwards2225]

Yes, good point. I think this is just leftover from the days prior to the introduction of the databus. A sanity check assertion seems like a good approach to me