Verify correctness for cost-based execution with nonblocking communication

I suspect this feature is not currently functioning right for nonblocking communication, due to current protocol that keeps propagation separate from kernel execution. The propagation happens in inspect_comm, not initiate_comm, and this also poses problems for the complete_comm routines. Should I call initiate_comm anyways? see intercept/comm.cxx