Merge branch 'feature/FS1030-bounds-checking' into 'master'

[FS#1030] Add, use, and test DUNE_ASSERT_BOUNDS

If `DUNE_CHECK_BOUNDS` is defined, `DUNE_ASSERT_BOUNDS` checks if a condition holds; otherwise, it does nothing. It is meant to be used for conditions that assure writes and reads do not occur outside of memory limits or pre-defined patterns and related conditions.

Replacement for `assert` in relevant context; guarded by a single universal define rather than existing class- or module- specific ones.

See merge request !17