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