Remove unnecessary ReceiveMessage on MessageReceiver and implementations
Uncomment bad-value discards and add TODO note