Property based testing

- cleanup the thrift code, and simplify it
- simplify invocation when keyspace is implicit