* chore: copy verifier iface, mock & ffi out of storage
one step toward a cleaner separation of miner & chain
* ffi: s/verifier/proofs, incorporate GenerateUnsealedCID
* fix: ffi: use non-ffi version of GenerateUnsealedCID
* doc: proofs: document GenerateUnsealedCID use