Implement empty() for RED, so that it can be used by the PF scheduler.
Fail fast if parameters are incorrect !