Assert that finalizers are not run if not reached.

Closes #215.