Use `pydantic` for `Options`

[JoshKarpel]

Options is a dataclass right now, which is fine for its current simplicity, but using a Pydantic model would make it much more flexible for future growth.