Came across this http://blog.guillermowinkler.com/blog/2015/04/12/verifying-state-machine-behavior-using-test-dot-check/ which is basically a retread (pretread?) of the discussion but includes some code and custom shrinking stuff

@hiredman that's a nice write up!

thanks