Make use of `static_assert` in some places

[dkrutsko]

static_assert might be useful to include for compile-time compliance checking. Some places where this might be useful is checking the custom datatypes like uint8 and uintptr. An example implementation can be found in the JUCE library.