Implement more traits for `Option<char>`?

https://github.com/rust-lang/reference/issues/1426 tracks guaranteeing that `Option` has the same size and alignment as `char`. We may be able to use that to infer other facts about `Option`'s bit validity, and implement traits on that basis.