Local Message Optimization Should be Supported

Currently, the local message optimization (#218) has been turned off because it breaks correctness. We should support in the runtime a way for the user to take advantage of this optimization if they promise to use it in a way that does not break correctness (more details to follow)