Improve libcfa-array's bound-check removal and write that thesis section.
The libcfa change adds a more performant alternative for a subset of multidimensional indexing cases that were already functionally correct.
That the new alternative is more performant is not shown in the test suite.
There is an associated new high-performance option for passing an array-or-slice to a function.
The added test cases cover those options.
The added in-thesis demos rely on the new more-performant alternative for multidimensional indexing.