Add tests that verify that intentionally-avoided traits are actually avoided

[briansmith]

For example, no_panic::Slice doesn't implement Debug, PartialEq, or Eq, intentionally. Similarly, Input and Reader do not implement PartialEq or Eq. We should have tests that demonstrate and verify this.