Add kernel_exceptions. The idea is to avoid expression formatting in the kernel. It also allows different frontends to display the error messages is a different way.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix src/tests/interval/CMakeLists.txt to have different test names
Clean up interval check function
Optimize interval functions to reduce rounding-mode switches