Improve efficiency of bounds checking code

[bushidocodes]

From @Others in #47 : "this is probably not the most efficient assert here. This may be more now that you're using this code more. Can be deferred to the future"

 assert(bounds_check < WASM_PAGE_SIZE || (memory_size > bounds_check && offset <= memory_size - bounds_check));