Implement blob verification

[zobront]

Blob verification needs to be implemented in the zkVM.

opening(field_element_key[..48] at field_element_key[72..]) = field_element

[zobront]

Status Update: Implemented in the oracle's verify() function.

This is blocked because it requires the ability to customize the fetcher to store the kzg proof, since that isn't included in Kona's default host implementation. This would be 2 lines to add to the current Kona host, but may be more work to help upstream changes to allow custom fetcher modifications without forking the host.

[zobront]

Confirmed with Clabby that he's comfortable with workaround of saving the KZG proof in their fetcher implementation until they implement the above.

Upstream PR to do this is here: op-rs/kona#370

We still need kzg-rs to implement the verify_blob_kzg_proof() function to finalize this and ensure it works.

[zobront]

@ratankaliani FYI: Upstream PR is merged so all that's left on this is getting the verify_blob_kzg_proof() function implemented in kzg-rs so that this can be uncommented: https://github.com/moongate-forks/kona-sp1/blob/8e84327d513e644a19c35038113a58609e0eb9fd/zkvm-client/src/oracle/mod.rs#L145-L146

See: https://succinctlabs.slack.com/archives/C075AD6FYH4/p1720755576381199