add auto-generated tests that check that a given module can be imported, if all prerequisites are followed. see #641