[freelang-audit] t-003 hashchain.fl + chain verify

완료보통

leaf_hash = SHA256(0x00 || record_bytes_without_hash). dec-003 domain separation. chain test: pass + 임의 byte flip -> corrupt-at-seq N 정확 지목