Consider changing the result types `Option` to `Result`

[kud1ing]

.. where appropriate. This would give us an opportunity to indicate why something fails and helps us get rid of some panics.