Make verify script more robust

* Add proper option handling
* Remove dialyzer stuff
* Verify success of more operations
* Move more code into functions to make flow more obvious
* Make as idempotent as possible
* Allow passing of yz/riak source and branch