Mark memory.size VM intrinsics as not modifying state, and throw.trap/breakpoint as functions which do not return.#677