Implement lowering for options

[mcy]

This PR implements codegen for type-checked option values, by directly serializing all of them into the unknown fields of the target type. This strategy avoids needing to special-case the non-custom options: all options, including the two pseudo-options, are handled uniformly.