CLN: More work on converting assert_'s to specialized forms

Work on #6175 to specialize assert_'s. Tests still pass locally. A work-in-progress.