KASSERT(9) on FreeBSD

The text 773f7bdfbec4, as FreeBSD 14.0-RELEASE, FreeBSD 13.5-RELEASE, FreeBSD 13.4-RELEASE, FreeBSD 13.3-RELEASE shipped it.

kernel expression verification macros