HasRemnant is underestimated for PE result in the NSBH case with EOS marginalization

The HasRemnant generated by em_bright is underestimated for PE result in the NSBH case with EOS marginalization. We are addressing this problem in this MR: emfollow/em-properties/em-bright!58 (merged)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information