Lava.Verification
data
Option
verify
verifyWith
data
ProofResult
verifyDir
checkVerifyDir