make `put` var-arg for easier interactive debugging
modify `havoc` to synthesize counter-examples
Merge pull request #19 from philnguyen/counterexample

Modify `havoc` to build up counter-example