growPastDeclaredMaxTraps

Evidence that reject-no-max is a sufficient memory ceiling (#978): the engine must enforce a module's DECLARED max at grow time. The kernel converts a denied memory.grow into unreachable; if the engine did NOT honour the declared max the grow would succeed, no trap would fire, and this test would fail — the signal that load-time rejection alone does not bound that target's memory.