Tighten up dialyzer specs
Merge branch 'proper' of https://github.com/jaynel/uffda into jaynel-proper

Conflicts:
	src/service_fsm.erl
	src/sr_client.erl
Merge branch 'jaynel-proper'