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

The equality assert should be simplified to an `assert_eq`, as in

```rust
assert_eq!(x, Some(65535));
```