pub fn verify_lines(lines: Vec<Vec<u8>>) -> Result<VerifiedLedger, AxError>
A2: offline chain verification over raw lines, through the one per-line check storage::LineCheck owns.
storage::LineCheck