Need to extract normative rules for Sdtrig and Sdext ISA extensions

The CSC is going through the ISA manual chapters and extracting normative rules. I just realized that the debug repo has these 2 chapters that also define ISA-visible behavior. So, my plan is to add normative rules into this debug repo just like we've done in the ISA manual repo.