Behaviour requires EQC operations if compiling for EQC
Refactor prop_converge() to always use the eqc interface
Merge branch 'eqc-interface' into multi_crdt

Also changes to keep the EQC passing (using the eqc interface)

Conflicts:
	src/riak_dt_gcounter.erl