Introduce throw_assert

This does a runtime check even when not in debug (unlike plain assert) and throws an exception in case the assertion fails. This is used in a couple of places. I added tests to check the asserts actually throw.