Stop FSM after single command sequence is executed
Refactor the property and eqc_fsm callbacks

- Use responses to validate counters and remove last_chunk from state record
- Add some statistics to the property
- Make state arguments explicit in pre/postcondition clauses
Merge pull request #768 from basho/bugfix/eqc-process-leak

Bugfix/eqc process leak