Match the return value of code:load_binary
Match return value of random:seed/1
Thread through state changes and match return values of cancel_timer
Use io:write where formatting isn't needed and thread state changes through.
Match return values in riak_core_ring_manager
Remove specs that were causing warnings in riak_core_vnode
Add FIXME for vnode forwarding.

riak_core_vnode.erl:383: Expression produces a value of type {'next_state','active',#state{index::'undefined' | non_neg_integer(),mod::atom() | tuple(),forward::atom() | [any()],handoff_target::'none' | {_,_},handoff_pid::'undefined' | pid(),handoff_type::'hinted_handoff' | 'ownership_transfer' | 'resize_transfer' | 'undefined',pool_pid::'undefined' | pid(),pool_config::'undefined' | tuple(),manager_event_timer::'undefined' | reference(),inactivity_timeout::'undefined' | non_neg_integer()},'undefined' | non_neg_integer()}, but this value is unmatched
Loosen the type for entries in chstate() that nearly_equal/2 modifies.
Fix types in vclock.

* vc_entry is spurious
* Only one opaque type was needed, dot()
* Empty lists are vclocks too! No need to widen the type.