move tests to their own module, pass dialyzer