Dialyzer support and fixes

* Add dialyzer targets to Makefile
* Fix dialyzer warnings for async functions