dialyzer maintenance

Fix known dialyzer warnings. Also change Makefile dialyzer rule to make it
easier to see pass/fail results.