[SelectionDAG] Add additional documentation to FP_TO_S/UINT_SAT to justify D116870. NFC

As noted in post-commit review, the value of the bits between
the saturating type and result type were not defined defined. Define
them to be sign extended for FP_TO_SINT_SAT and zero extended for
FP_TO_UINT_SAT.