v1.8.0

• reac.h: the 1.8.0 entry names the ABI the define holds, 6 (#23)
• libreac 1.8.0
• fuzz/README: the records, the ratchet, the contract lines and the 0-byte pcap rule (#23)
• fuzz: raise the pcap floor to 80 covered lines (#23)
• headers: the braid map is held to its harness copy; a 0-byte pcap buffer skips nothing (#23)
• fuzz/sabotage: each patch names its check and its seed, and fuzz-records proves both (#23)
• fuzz, headers: the scene trailer stays the library's own; citations name today's lines (#23)
• fuzz_grant: group B polls the header's six addresses; group A's DT1 sum in the harness (#23)
• fuzz_decode: check every sample against the braid map, and count the width itself (#23)
• fuzz, headers: every rule a harness copied names its contract (#23)
• pcap_source: skip a record of 0 bytes; 0 means the end of the file only (#23)
• headers: a refused decode or scene build leaves its output untouched (#23)
• fuzz: prove every mutant record at this commit, and refuse a check without one (#23)
• fuzz: generate the seeds the new records name (#23)
• fuzz: take the per-check harness rewrite from Theorem Labs (#23)