Test: test exception propagation from generators

failing.
Test: propagate exception in `check()`, fix #43