loadRejectsModuleWithOversizeDeclaredMax

The oversize-max arm of the size-cap rule, isolated: bigmem.wat declares memory 1 64, so its max is over the cap while its initial (1 page) and its explicit max satisfy the other two rules. The oversize-max guard is the only thing that can reject it, which is why this property needs no message assertion — structure does the attributing.