Contract Memory Initialization is Wrong in Several Ways

[bytemaster]

In wasm_interface::load(...)

1. it only checks first 10000 bytes for non-0 initial state, this will fail on WASM modules that define static data beyond the first 10K bytes
2. it doesn't check the proper memory size.

[brianjohnson5972]

@bytemaster Is 2 just stating that it needs to correctly loop over the full memory, or what other check is needed?

[brianjohnson5972]

@bytemaster Did I complete this with my commit that checks the for the default memory size, or is there more to handle this?

[brianjohnson5972]

@thomasbcox or @bytemaster - I'd like to get this closed, can I get some input?

[heifner]

Resolved by #490