Add examples for Checked[Add|Sub|Mul|Div]

My previous comment is now considered outdated, but still valid. You don't need the variable and `assert!()`, you can just use a simpler `assert_eq!()`, as in:

```rust
assert_eq!(5u16.checked_add(&65530), Some(65535))
```