It looks like the `verify()` process only uses `seqno` for previous entry even though there are `prev: Cid` present. Each entry should also be confirmed against it's alleged Cid to ensure they match.