Add assert.h.

This provides a general system-independent assertion ABI, but can be
configured to use the libc's assert function instead.

Also included: constexpr assert.
data/range_ptr: assert policy.

This provides runtime bounds-checking using assert(), as well as
compile time constexpr validation where possible.
data/maybe: add policy for checking access.