055-wasm-gzip-measured

The WebAssembly module's gzip size is recorded, not gated (amends 027)

A narrow amendment of approved spec 027 3.10.4, after specs 046, 050, 051 and 052. As the #76 track added document types, the gzip budget was met four times: specs 046 and 050 kept it, and specs 051 and 052 raised it, and the last time it stopped every open chain at once. This spec keeps measuring and recording the optimized module's gzip size (level 9) on every run, as the Brotli size already is, and removes it from the gated budget. The uncompressed budget of 4,718,592 bytes (spec 052), the instantiation budgets, the procedure and spec 050's exclusion are unchanged. Ratified by the owner on 2026-10-25 (A-57).