Rollup merge of #107731 - RalfJung:interpret-discriminant, r=cjgillot

interpret: move discriminant reading and writing to separate file

This is quite different from the otherwise fairly general read and write functions in place.rs and operand.rs, and also it's nice to have these two functions close together as they are basically inverses of each other.