Fixed last dialyzer error, and added dialyzing to travis