Remove use of seL4_DebugAssert.
Remove use of seL4_DebugAssert.

It adds an extra dependency and it won't really make any difference
as there will be a crash one way or the other.

winksaville/libsel4string