Connect snark to block in uptime verifier

[martyall]

Summary

The current implementation of the delegate_verify module is (apparently) not verifying that the submitted snark is connected to the submitted block (via the target ledger state hash). We should fix this