json now defaults Option<_> to None.

Closes #12794.