Series of dialyzer and formatting changes.

* Formatting changes to make the code easier to read.
* Dialyzer fixes.
* Add specs for all methods in the riak control gen_server.