RPC Returns need to be redirectable to improve pipelining.
Define 'Disembargo' RPC message for optimistically enforcing E-order across promise resolution.
Update generated code for previous two commits.