implement memoryguard(size) for 0.8.6

[jacky860226]

The caller of let ptr := memoryguard(size) (where size has to be a literal number) promises that they only use memory in either the range [0, size) or the unbounded range starting at ptr.