Eqc-fsm version of verify_listkeys_eqcfsm.
Fixed post-test State handling for cleanup.
Added druuid depenency to fix g_uuid() failure in
verify_listkeys_eqcfsm.
Rename states to be more sensible.
Complete basic test.

- Fix single bucket handling.
- Remove unused preconditions from statem test.
- Add postconditions for verification.
Remove unnecessary flags from State.
Add noshrink call to g_uuid() so avoid shrinking on uuid generation.
Refactor test.

- Move noshrink to g_uuid.
- Remove dead code.
Merge pull request #599 from basho/feature/jra/listkeys-eqcfsm

Eqc-fsm version of listkeys statem test