Add verification check between precompute data and vid commitment

[akonring]

Precomputable trait is designed to allow for data (currently only kzg batch commitment) to be reused in subsequent call to disperse.

Since the builder cannot be trusted to use the same kzg batch commitments inside precomputed data (as the output of commit_only_precompute) we should add a mechanism to ensure that these are the same.

[ggutoski]

The goal is to make something analogous to

fn VidScheme::is_consistent(commit: &Self::Commit, common: &Self::Common) -> VidResult<()>