port the BoundsChecking patch to the new MemoryBuiltin API (i.e., remove most of...