Don't send sbuff and rbuff to the MC checker

Don't send sbuff and rbuff to the MC checker

They used to be included in the dependency computation, but that's a
very bad idea, as the same communication can land on the same address,
so the checker cannot get sure information from there.

This simplifies the MC-App protocol, as we have a bug somewhere.