Lava.Verification

data Option

verify

verifyWith

data ProofResult

verifyDir

checkVerifyDir