loadRejectsModuleDeclaringMemoryWithNoMax

The unified no-max rule: a module declaring linear memory with NO explicit max is rejected at load on EVERY target. It is the only memory ceiling enforceable identically everywhere — the browser cannot clamp a compiled module's limits after the fact — and with it every loaded module carries a bounded, engine-enforced max (see growPastDeclaredMaxTraps).