Address computation safety

[bernhardmgruber]

Since users can specify their own indexing type, address computations in LLAMA can easily overflow. We should provide better means to detect such overflows to make the use of the library safer. We could add more assertions in the LLAMA code and also evaluate the use of boost::safe<int>, which can detect bad behavior such as overflow.