Transition btypes_eqc to riak_test

WIP

The `riak_core` test `btypes_eqc` only compares against a single node run in the command-line, and does not check certain cases which can only happen with multiple nodes. This is merging and expanding that EQC test to work with r_t and a multiple nodes.

Implementation of issue basho/riak_core#563