Complete exception safety and noexcept hygiene

[simonask]

Currently, many functions are marked noexcept, despite potentially calling user-provided functions that may throw. The right thing to do is to add noexcept(noexcept(...)) syntax in those places.

The drawback is that it uglifies the code pretty significantly.

There are also probably places where unconditional noexcept can be safely added.