Explicitly support many functions from math.h.

Add many math.h functions to the CStdFunction format select.

Mark many math.h functions as not requiring wrapping / detection.

Add interceptors for remquo[f/l], nan[f/l], frexp[f/l], and modf[f/l].

Remove old detect calls definitions of some math functions.
Add a description for FormatSpecifierArgType runtime error.
Add tests for correct compilation and execution of frexp[f/l], modf[f/l], nan[f/l], and remquo[f/l] functions.
Raise an error immediately if an invalid pointer is created through pointer arithmetic, i.e. one that does not point to an element in the same array (or to the element one past the last element in the array) as the base pointer of the arithmetic.

Also, raise errors if pointer arithmetic is performed on a pointer with a NULL or invalid target object.

Add some simple regression tests to check that valid pointer arithmetic is successful, invalid pointer arithmetic is detected, and invalid pointer dereferences are detected.
Update testing to name seec trace files using the binary and test names, so individual tests' traces can be inspected after running all tests.