Add a getter to evaluate the proof presence based on the remotes. It needs both a majority of nodes and a majority of stakes, otherwise it is inconclusive.

Depends on D14663.