Module#Module(): path is not checked explicitly to be not null; an assertion is used instead. Its documentation is updated.