More Semicircle incorporation plus test & fixes for the AngleInscribedSemiCircleIsRightAngle theorem.